xlint/lint1/msg_034.c

1.3.2.1    cjep /*	$NetBSD: msg_034.c,v 1.3.2.1 2021/05/31 22:15:24 cjep Exp $	*/
    1.1  rillig # 3 "msg_034.c"
    1.1  rillig
1.3.2.1    cjep // Test for message: nonportable bit-field type '%s' [34]
    1.1  rillig
1.3.2.1    cjep /* No -g since GCC allows all integer types as bit-fields. */
1.3.2.1    cjep /* lint1-flags: -S -p -w */
    1.2  rillig
1.3.2.1    cjep /*
1.3.2.1    cjep  * C90 3.5.2.1 allows 'int', 'signed int', 'unsigned int' as bit-field types.
1.3.2.1    cjep  *
1.3.2.1    cjep  * C99 6.7.2.1 significantly changed the wording of the allowable types for
1.3.2.1    cjep  * bit-fields.  For example, 6.7.2.1p4 does not mention plain 'int' at all.
1.3.2.1    cjep  * The rationale for C99 6.7.2.1 mentions plain int though, and it would have
1.3.2.1    cjep  * broken a lot of existing code to disallow plain 'int' as a bit-field type.
1.3.2.1    cjep  * Footnote 104 explicitly mentions plain 'int' as well and it even allows
1.3.2.1    cjep  * typedef-types for bit-fields.
1.3.2.1    cjep  */
    1.2  rillig struct example {
1.3.2.1    cjep 	/* expect+1: 34 */
1.3.2.1    cjep 	unsigned short ushort: 1;
1.3.2.1    cjep
1.3.2.1    cjep 	/* expect+1: 344 */
1.3.2.1    cjep 	int plain_int: 1;
1.3.2.1    cjep
1.3.2.1    cjep 	signed int signed_int: 1;
    1.2  rillig 	unsigned int portable: 1;
    1.2  rillig };