diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-03-07 13:37:20 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-03-07 13:37:20 +0100 |
commit | 36f52bf433614156a64358dbd71019b8d34865c5 (patch) | |
tree | 3494b9a2e94c420ba378bd2c83de07884d565f76 /x86 | |
parent | c91b33e36d96a51329d53bd9efa1523e567d1812 (diff) | |
download | compcert-36f52bf433614156a64358dbd71019b8d34865c5.tar.gz compcert-36f52bf433614156a64358dbd71019b8d34865c5.zip |
Improve and simplify error messages.
The checks on the argument and format arguments are now performed
during C2C translation by calling the validate_ais_annotations
function and result in an error instead of a warning in the
backend to be more consistent with the rest of the builtin
functions.
Diffstat (limited to 'x86')
0 files changed, 0 insertions, 0 deletions