Ludolf, You are perfectly right about C99.
> Yes it can. What you call 'initializer' may also be called 'constant'. > And of course, constants may be used as expression. Cool, that Splint knows this. Even cooler, if other compiler than GCC knew this. I remember that I had problems with an assigment of a correctly built 'constant' to a struct variable, thought assigning the contents of one struct variable to another of the same type worked. The standard (C90) is not very clear here. However, the compiler (Keil C51) is not that perfect thing. Bodo _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
