Const spec status.

[Bruno Medeiros]

Simen Kjaeraas wrote:
> 
> 
> Interesting thing I found (because I was unsure of the Struct):
> 
> 
> struct foo
> {
>     int* bar;
> }
> 
> 
> int baz;
> 
> invariant foo f = { &baz }; // this works. I'd believe it is a bug.
> 
> foo g = f; // also works. Might be even worse.
> 
> 
> -- Simen

Yes, that's pretty much the bug I mentioned in the original post (the 
"case that (yet again) actually *breaks* the const system").
Bug reported.


-- 
Bruno Medeiros - Software Developer, MSc. in CS/E graduate
http://www.prowiki.org/wiki4d/wiki.cgi?BrunoMedeiros#D