diff options
Diffstat (limited to 'cparser/Checks.ml')
| -rw-r--r-- | cparser/Checks.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Checks.ml b/cparser/Checks.ml index e79e3ccf..a2602a52 100644 --- a/cparser/Checks.ml +++ b/cparser/Checks.ml @@ -317,7 +317,7 @@ let safe_expr vars env e = | Oderef -> begin match e.edesc with | EUnop (Oaddrof,e) -> expr e - | _ -> expr e + | _ -> false end (* e.f is okay if f has array or composite type *) | Odot m -> |