diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-07-04 12:36:52 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-07-04 12:36:52 +0200 |
commit | ed2318e287c6edeeceed7e2a104195b08aa3e31a (patch) | |
tree | 1f8a7c6b4617f7fd8821dbfce004f1e51e7668e2 /cparser/Cutil.ml | |
parent | 77c98e2ade0f6a2a4f103881f07fe29247417f53 (diff) | |
download | compcert-kvx-ed2318e287c6edeeceed7e2a104195b08aa3e31a.tar.gz compcert-kvx-ed2318e287c6edeeceed7e2a104195b08aa3e31a.zip |
Added helper function for array types.
The function determines whether the given type is an array type
or not.
Diffstat (limited to 'cparser/Cutil.ml')
-rw-r--r-- | cparser/Cutil.ml | 5 |
1 files changed, 5 insertions, 0 deletions
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 |