View Issue Details

IDProjectCategoryView StatusLast Update
0005125Spring engineGeneralpublic2016-03-01 15:37
Reporterabma Assigned TojK  
PrioritynormalSeverityminorReproducibilityhave not tried
Status resolvedResolutionfixed 
Summary0005125: some runtime errors of -fsanitize=undefined
Description

rts/Sim/Misc/LosHandler.cpp:113:63: runtime error: left shift of negative value -25
rts/lib/streflop/libm/flt-32/e_expf.cpp:98:26: runtime error: left shift of negative value -4
rts/Rendering/Models/3DOParser.cpp:285:31: runtime error: signed integer overflow: 671924809 * 163 cannot be represented in type 'int'
rts/Lua/LuaWeaponDefs.cpp:518:56: runtime error: load of value 253, which is not a rts/Rendering/Env/AdvTreeGenerator.cpp:259:38: runtime error: signed integer overflow: 1569577964 * 3 cannot be represented in type 'int'
rts/Rendering/Env/AdvTreeGenerator.cpp:260:41: runtime error: signed integer overflow: 1854346753 * 2 cannot be represented in type 'int'
rts/Rendering/Env/AdvTreeGenerator.cpp:274:37: runtime error: signed integer overflow: 758138468 * 3 cannot be represented in type 'int'
rts/Rendering/Env/AdvTreeGenerator.cpp:275:41: runtime error: signed integer overflow: 1541517743 * 2 cannot be represented in type 'int'
valid value for type 'bool'

Additional Informationthat are not all errors of -fsanitize=undefined, but these looked suspicious.

i had to comment out all boost::format code as made spring crashed with the sanitizer.
TagsNo tags attached.
Attached Files
infolog.txt (Attachment missing)
console_output.txt (Attachment missing)
Checked infolog.txt for Errors

Activities

abma

2016-02-29 01:32

administrator   ~0015940

(crashed at exit -> no demo)

abma

2016-02-29 01:38

administrator   ~0015941

gcc 6 will warn about left shift negative values, so would be nice to fix these at least:

https://gcc.gnu.org/gcc-6/changes.html

jK

2016-03-01 15:37

developer   ~0015948

Fix a33812e5947ca7a45be7b54fe7624d4ccb1cc4b3 committed to develop branch: fix 0005125: some -fsanitize=undefined found bugs, repo: spring changeset id: 6693

Issue History

Date Modified Username Field Change
2016-02-29 01:30 abma New Issue
2016-02-29 01:31 abma File Added: infolog.txt
2016-02-29 01:32 abma Note Added: 0015940
2016-02-29 01:34 abma File Added: console_output.txt
2016-02-29 01:38 abma Note Added: 0015941
2016-03-01 15:37 jK Changeset attached => spring develop a33812e5
2016-03-01 15:37 jK Note Added: 0015948
2016-03-01 15:37 jK Assigned To => jK
2016-03-01 15:37 jK Status new => resolved
2016-03-01 15:37 jK Resolution open => fixed