id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
289	Invariant Failure in Static Assertion	ajbeach		"The following compiles, but fails the invariant check:
{{{
// Check that the actual and declared length of array are the same.
static_assert( SIZE == sizeof(array) / sizeof(array[0]), ""Wrong Array Size"" );
}}}
This is valid code, but for some reason fails the check after the box pass. I believe it is a combination of a polymorphic function in an expression that does not have an enclosing statement/function. It still compiles if invariants are off, so this could be a case where the invariants are too strict, but I expect something is going wrong in the workings of the ever confounding box pass.

(The work around seems to be to use sizeof on the array element type.)"	defect	closed	minor	cfa-cc	1.0	fixed