From 8dc7fb147fb49294ccc4357b0c566b7e007c680f Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 4 Jul 2019 14:01:06 +0200
Subject: Deref is not safe.

---
 cparser/Checks.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cparser/Checks.ml')

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 ->
-- 
cgit