1 // { dg-lto-do assemble }
2 
3 template<class T, unsigned long l>
foo(T (&)[l])4 inline unsigned long foo (T (&)[l]) { return l; }
5 
6 struct S { char *s[4]; S (); };
7 
S()8 S::S () { typedef int T[foo (s) == 4 ? 1 : -1]; }
9