diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-23 08:48:48 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-23 08:48:48 +0200 |
commit | 905012098014efe6ac661ca5fdaa30ba80480296 (patch) | |
tree | 175ef31b14aae8ed083920ac42402d1846a476a8 /backend/CSEproof.v | |
parent | 8fcdd1d52fcaec72edbe2bb93054f007392065f6 (diff) | |
download | compcert-905012098014efe6ac661ca5fdaa30ba80480296.tar.gz compcert-905012098014efe6ac661ca5fdaa30ba80480296.zip |
Improved error messages for wrong vararg calls.
Now "expected at least %d" instead of "expected %d". Also improved
error message for __builtin_debug.
Bug 19872
Diffstat (limited to 'backend/CSEproof.v')
0 files changed, 0 insertions, 0 deletions