2025-07-31 02:51 CEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0005125Spring engineGeneralpublic2016-03-01 15:37
Reporterabma 
Assigned TojK 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionfixed 
Product Version 
Target VersionFixed in Version 
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.
Checked infolog.txt for Errors
Attached Files

-Relationships
+Relationships

-Notes

~0015940

abma (administrator)

(crashed at exit -> no demo)

~0015941

abma (administrator)

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

~0015948

jK (developer)

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

-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
+Issue History