diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-25 09:53:48 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-25 09:53:48 +0200 |
commit | 92ffa31ffc6d7a82d1949b86f0585f149c7615d8 (patch) | |
tree | a67c92c4ccabfaa90d882b3db5b36945beb8c822 /cparser/validator | |
parent | 0a7288fb65ebaed329e06c1fd14aef83e8defcda (diff) | |
download | compcert-92ffa31ffc6d7a82d1949b86f0585f149c7615d8.tar.gz compcert-92ffa31ffc6d7a82d1949b86f0585f149c7615d8.zip |
Test for illegal first argument in __builtin_debug.
The test is extended for integer constants smaller than 0. Also the
default constant used for the error is no longer 0 since this is
not a positive number.
Bug 19629
Diffstat (limited to 'cparser/validator')
0 files changed, 0 insertions, 0 deletions