diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-03-07 16:04:55 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-03-07 16:04:55 +0100 |
| commit | 3f090e08594830885db88289c294e58cd506dff4 (patch) | |
| tree | be06a354aeb57032f9fc751546a3326dd5882564 /backend/AisAnnot.ml | |
| parent | 780028efb317afcbcecabc075945a8f920de8ccc (diff) | |
| download | compcert-kvx-3f090e08594830885db88289c294e58cd506dff4.tar.gz compcert-kvx-3f090e08594830885db88289c294e58cd506dff4.zip | |
Reword error message. Fix 22464
Diffstat (limited to 'backend/AisAnnot.ml')
| -rw-r--r-- | backend/AisAnnot.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/backend/AisAnnot.ml b/backend/AisAnnot.ml index 0aa5bbdc..ab586820 100644 --- a/backend/AisAnnot.ml +++ b/backend/AisAnnot.ml @@ -37,7 +37,7 @@ exception Bad_parameter of string let warn_lval_arg pos arg = let warn ty = - let msg = sprintf "expected register or global memory cell but found %s for parameter '%s'" ty pos in + let msg = sprintf "expected register or memory cell but found %s for parameter '%s'" ty pos in raise (Bad_parameter msg) in match arg with | BA_int _ @@ -45,7 +45,7 @@ let warn_lval_arg pos arg = | BA_float _ | BA_single _ -> assert false (* Should never occur and be avoided in C2C *) | BA_addrstack ofs -> - warn "stack cell" + warn "stack address" | BA_addrglobal(id, ofs) -> warn "global address" | BA_splitlong(hi, lo) -> |