search

csmith-project / csmith

Csmith, a random generator of C programs
http://embed.cs.utah.edu/csmith/
Other
1.02k stars 146 forks source link

testcase generate with csmith --float --strict-float oad of misaligned address for type 'const float' Seed=1692891924876124 #133

Open yansendao opened 3 years ago

yansendao commented 3 years ago

test command

csmith --float --strict-float -o test.c -s 1692891924876124
gcc -Ofast -I /home/yansendao/software/csmith/include -w -O2 -ftrapv -fsanitize=undefined,address test.c && ./a.out

result

test.c:1066:50: runtime error: load of misaligned address 0x000000422782 for type 'const float', which requires 4 byte alignment
0x000000422782: note: pointer points here
 ff 1f  01 00 00 00 a0 3e 00 00  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  00 00 00 00 00 00
              ^ 
test.c:1066:18: runtime error: load of misaligned address 0x000000422782 for type 'const float', which requires 4 byte alignment
0x000000422782: note: pointer points here
 ff 1f  01 00 00 00 a0 3e 00 00  00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00  00 00 00 00 00 00
              ^ 
checksum = 83A24B4A
$ csmith --version
csmith 2.4.0
Git version: deddca6

test.zip