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.mli | |
| 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.mli')
| -rw-r--r-- | cparser/Cutil.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli index 5a1e9af3..3777c321 100644 --- a/cparser/Cutil.mli +++ b/cparser/Cutil.mli @@ -166,6 +166,8 @@ val is_scalar_type : Env.t -> typ -> bool (* Is type integer, float or pointer? *) val is_composite_type : Env.t -> typ -> bool (* Is type a struct or union? *) +val is_array_type : Env.t -> typ -> bool + (* Is type a array type? *) val is_function_type : Env.t -> typ -> bool (* Is type a function type? (not pointer to function) *) val is_function_pointer_type : Env.t -> typ -> bool |