testcase generate with --builtins --type-attributes --label-attributes --variable-attributes --int128 --uint128 --binary-constant -s 1617250954692878 sanitize runtime error: passing zero to ctz(), which is not a valid argument

csmith-project / csmith

Csmith, a random generator of C programs

http://embed.cs.utah.edu/csmith/

Other

1.01k stars 144 forks source link

testcase generate with --builtins --type-attributes --label-attributes --variable-attributes --int128 --uint128 --binary-constant -s 1617250954692878 sanitize runtime error: passing zero to ctz(), which is not a valid argument #126

Open yansendao opened 3 years ago

yansendao commented 3 years ago

test command:

csmith --builtins --type-attributes --label-attributes --variable-attributes --int128 --uint128 --binary-constant -s 1617250954692878 -o test,c
gcc -Os -I ~/software/csmith/include -w -O0 -ftrapv -fsanitize=undefined,address test.c && ./a.out

test.zip

jxyang commented 3 years ago

Thanks for reporting.