diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-31 16:40:17 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-31 16:40:17 +0200 |
| commit | 204469913eaeffa2642268f35d018bc5329f9372 (patch) | |
| tree | dc19685d81298754a73e0107305e25d17fae33ac /cparser | |
| parent | 8763a45b8a5c6d51d53795573179ba66e479f288 (diff) | |
| download | compcert-204469913eaeffa2642268f35d018bc5329f9372.tar.gz compcert-204469913eaeffa2642268f35d018bc5329f9372.zip | |
Fixed error message for & operator. Bug 18004
Diffstat (limited to 'cparser')
| -rw-r--r-- | cparser/Elab.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml index 621417ed..0766d769 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -1609,7 +1609,7 @@ let elab_expr vararg loc env a = | UNARY(ADDROF, a1) -> let b1,env = elab env a1 in if not (is_lvalue b1 || is_function_type env b1.etyp) then - err "cannot take the address of an rvalue of type %a" (print_typ env) b1.etyp; + err "argument of '&' is not an lvalue (invalid %a)" (print_typ env) b1.etyp; begin match b1.edesc with | EVar id -> begin match wrap Env.find_ident loc env id with |