aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexey Zaytsev <alexey.zaytsev@gmail.com>2008-12-18 20:22:27 +0300
committerAlexey Zaytsev <alexey.zaytsev@gmail.com>2008-12-18 21:11:00 +0300
commite3bff51f8a10eeb65f5bb06ca0441291b2bf63e9 (patch)
tree432f923fbd93a5423735c38559122f512fbec287 /validation
parentRename dirafter to idirafter. (diff)
downloadsparse-e3bff51f8a10eeb65f5bb06ca0441291b2bf63e9.tar.gz
sparse-e3bff51f8a10eeb65f5bb06ca0441291b2bf63e9.tar.bz2
sparse-e3bff51f8a10eeb65f5bb06ca0441291b2bf63e9.zip
Let void have sizeof 1
Gcc assumes sizeof(void) being 1. Currently sparse would generate wrong code for: void *test(void *p) { p++; return p; } unsigned long test1(void *p) { return sizeof(*p); } .L0x2b48867c1010: <entry-point> add.32 %r2 <- %arg1, $-1 ret.32 %r2 test1: .L0x2b48867c10b0: <entry-point> ret.32 $-1 And with bit_size set to &bits_in_char, the code looks as expected. Signed-off-by: Alexey Zaytsev <alexey.zaytsev@gmail.com>
Diffstat (limited to 'validation')
0 files changed, 0 insertions, 0 deletions