[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[csmith-bugs] undefined behavior in Csmith
Output below was reported by Clang's undefined behavior sanitizer.
John
regehr@regehr-M51AC:~/z/csmith$ ./src/csmith --output foo.c
VariableSelector.cpp:1161:2:load of value 4, which is not a valid value
for type 'eVariableScope'
VariableSelector.cpp:1163:6:load of value 4, which is not a valid value
for type 'eVariableScope'
VariableSelector.cpp:1164:40:load of value 4, which is not a valid value
for type 'eVariableScope'
VariableSelector.cpp:1026:15:load of value 4, which is not a valid value
for type 'eVariableScope'
SafeOpFlags.cpp:61:15:load of value 152, which is not a valid value for
type 'bool'
SafeOpFlags.cpp:62:15:load of value 183, which is not a valid value for
type 'bool'
SafeOpFlags.cpp:63:19:load of value 27, which is not a valid value for
type 'bool'
SafeOpFlags.cpp:64:19:load of value 32534, which is not a valid value
for type 'SafeOpSize'
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/ios_base.h:96:24:load
of value 4294967221, which is not a valid value for type
'std::_Ios_Fmtflags'
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/ios_base.h:76:67:load
of value 4294967221, which is not a valid value for type
'std::_Ios_Fmtflags'
/usr/lib/gcc/x86_64-linux-gnu/4.8/../../../../include/c++/4.8/bits/stl_tree.h:697:25:downcast
of address 0x00000175ce70 with insufficient space for an object of type
'_Rb_tree_node<std::pair<const Statement *const, std::basic_string<char>
> >'
0x00000175ce70: note: pointer points here
00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 70 ce
75 01 00 00 00 00 70 ce 75 01
^
ArrayVariable.cpp:468:30:signed integer overflow: 11259375 * 11259375
cannot be represented in type 'int'