diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-03-27 03:04:53 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-03-27 16:11:58 +0200 |
| commit | 369cbea4b37692bfd93ca23c1991d002354d2219 (patch) | |
| tree | 0e4d8cc52514a4dc4b0514fb4826777ac40cdd44 /validation/preprocessor | |
| parent | 5466cf8f31f82cc78dd0e7d9056ef0d224dd3be8 (diff) | |
| download | sparse-dev-369cbea4b37692bfd93ca23c1991d002354d2219.tar.gz | |
fix test validation/div.c
This test, which test the diagnostics given at the boundary
conditions of division, depends on the header <limits.h> which
itself depends on some macros being defined by the compiler.
Now these macros are predefined (at least the obvious ones)
but it's annoying for the tests to depends on external things
like this header.
Remove this dependence by rewriting the test to use the predefined
macros directly.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/preprocessor')
0 files changed, 0 insertions, 0 deletions