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 /powerpc/AsmToJSON.ml | |
| 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 'powerpc/AsmToJSON.ml')
0 files changed, 0 insertions, 0 deletions