Remove workaround for libstdc++ bug once it is fixed

1984not-GmbH / molch

An implementation of the axolotl ratchet based on libsodium.

Other

23 stars 3 forks source link

Closed FSMaxB closed 7 years ago

FSMaxB commented 7 years ago

The workaround in ci/undefined-behavior-sanitizer.sh should be removed once https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81749 is fixed!

FSMaxB commented 7 years ago

It's not a bug ... Since it is unsigned overflow, it is defined behavior. I should have known that. I think my workaround is here to stay then ...