🚀 go-pugleaf

Lawrence Kirby (fred@genesis.demon.co.uk) wrote:
>There is a curious case here however. Lets say (with reference to 6.5.2.1)
>I declare:
>
>struct bit {
>    long field : CHAR_BIT*sizeof(long) + 1;
>};
>
>This results in undefined behaviour due to the long type of the declarator.
>However a constraint is also violated due to the field width. Is a diagnostic
>still required in this case or can the compiler omit it as a form of undefined
>behaviour?

TC1 requires all constraint violations to be diagnosed, even if undefined
behavior is involved. 

-- 
Eric Amick			eamick@clark.net
Columbia, MD			Public key available via finger