evaluate: Allow sizeof(_Bool) to succeed.
commitf20cbcc7ac20f6cd05f945ed1c09af8532094430
authorBen Pfaff <blp@nicira.com>
Wed, 4 May 2011 23:39:54 +0000 (4 16:39 -0700)
committerChristopher Li <sparse@chrisli.org>
Sat, 7 May 2011 20:29:40 +0000 (7 13:29 -0700)
treef29fc1178e7bcb2364c239279b58e4c398125e8a
parent05e666547ee05acadf7fed2d1fc9967c27739e9a
evaluate: Allow sizeof(_Bool) to succeed.

Without this commit, sizeof(_Bool) provokes an error with "cannot size
expression" because _Bool is a 1-bit type and thus not a multiple of a full
byte in size.  But sizeof(_Bool) is valid C that should evaluate to 1, so
this commit fixes the problem and adds a regression test.

Signed-off-by: Ben Pfaff <blp@nicira.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
evaluate.c
symbol.h
validation/sizeof-bool.c [new file with mode: 0644]