diff options
author | Stephan Bergmann <sbergman@redhat.com> | 2014-08-08 16:07:24 +0200 |
---|---|---|
committer | Stephan Bergmann <sbergman@redhat.com> | 2014-08-08 16:07:24 +0200 |
commit | 5ab1098d5fbc1ba092da73af2b92e5bcdd7a3f8d (patch) | |
tree | c4ea52b01613165a535056c00020f1b8538fcabe /nlpsolver | |
parent | 2a6843cb6c44305ac62c9cd1098a3eec4abaeb7e (diff) |
Generalize -fsanitize=address checks
...that are at least also relevant for -fsanitize=undefined
Change-Id: I39044d2a73912a605af8e965eb1cdf8dfd4f0051
Diffstat (limited to 'nlpsolver')
0 files changed, 0 insertions, 0 deletions