From 74c3e0e8615c2d943eae813b82b11cbfe74d4a82 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Tue, 28 Apr 2015 13:17:30 +0200
Subject: Detect and reject "&" operator applied to "register" local variable
 or to a bit field.

---
 cparser/Cutil.ml | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'cparser/Cutil.ml')

diff --git a/cparser/Cutil.ml b/cparser/Cutil.ml
index 846010b3..221bd7cc 100644
--- a/cparser/Cutil.ml
+++ b/cparser/Cutil.ml
@@ -574,6 +574,19 @@ let is_function_type env t =
   | TFun _ -> true
   | _ -> false
 
+(* Find the info for a field access *)
+
+let field_of_dot_access env t m =
+  match unroll env t with
+  | TStruct(id, _) -> Env.find_struct_member env (id, m)
+  | TUnion(id, _) -> Env.find_union_member env (id, m)
+  | _ -> assert false
+
+let field_of_arrow_access env t m =
+  match unroll env t with
+  | TPtr(t, _) | TArray(t, _, _) -> field_of_dot_access env t m
+  | _ -> assert false
+
 (* Ranking of integer kinds *)
 
 let integer_rank = function
-- 
cgit