Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Tighten safe integer | JF Bastien | 2016-03-28 | 1 | -16/+18 |
| | | | | #282 removed the assert, but the code didn't handle negative -> unsigned conversion properly, and doesn't behave well with -0.0. I'm not super comfortable with 64-bit int min / max to double conversions either, but that'll be for another patch. | ||||
* | remove bogus asserts from safe_integer casts | Alon Zakai | 2016-03-28 | 1 | -4/+0 |
| | |||||
* | Safe integer: assert before converting double to integer. | JF Bastien | 2016-01-10 | 1 | -0/+5 |
| | |||||
* | Add Travis builds with sanitizers | JF Bastien | 2016-01-10 | 1 | -0/+70 |
This triggers 5 independent build / test runs: - clang, no sanitizer; - clang, UB sanitizer; - clang, address sanitizer (disabled for now); - clang, thread sanitizer (disabled for now); - GCC. Enabling UBSan led to these changes: - Fix a bunch of undefined behavior throughout the code base. - Fix some tests that relied on that undefined behavior. - Make some of the tests easier to debug by printing their command line. - Add ubsan blacklist to work around libstdc++ bug. - Example testcase also needs sanitizer because libsupport.a uses it. |