id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
211	Mutable Initializers are not Detected	ajbeach		"{{{
int x = 0; // or int x @= 0;
int y @= x;

int main(void) {
    return (x + y);
}
}}}
This should not compile - I ran several tests in C and the behaviour matches - and it doesn't. The issue is that C initialization does not accept all the same things as CFA and so this gets through the compiler and gcc produces the error message:

`error: initializer element is not constant`

So we are generating bad code and the error messages are a bit off."	defect	new	minor	cfa-cc	1.0