From ed2318e287c6edeeceed7e2a104195b08aa3e31a Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 4 Jul 2019 12:36:52 +0200
Subject: Added helper function for array types.

The function determines whether the given type is an array type
or not.
---
 cparser/Cutil.ml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'cparser/Cutil.ml')

diff --git a/cparser/Cutil.ml b/cparser/Cutil.ml
index 7329767a..5ff58780 100644
--- a/cparser/Cutil.ml
+++ b/cparser/Cutil.ml
@@ -821,6 +821,11 @@ let is_composite_type env t =
   | TStruct _ | TUnion _ -> true
   | _ -> false
 
+let is_array_type env t =
+  match unroll env t with
+  | TArray _ -> true
+  | _ -> false
+
 let is_function_type env t =
   match unroll env t with
   | TFun _ -> true
-- 
cgit