diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-22 17:36:41 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-22 17:36:41 +0100 |
commit | c2ec127c0ae164d09d5952131dfaea9596e2c61d (patch) | |
tree | 10cd8bba0ff378b00db5c2249086fd09f02913e1 /cparser/Cutil.mli | |
parent | 252a3b44b1cda99344a7554d1d770cabc47a3102 (diff) | |
download | compcert-kvx-c2ec127c0ae164d09d5952131dfaea9596e2c61d.tar.gz compcert-kvx-c2ec127c0ae164d09d5952131dfaea9596e2c61d.zip |
Warning for decls without name in composites.
The warning missing declarations is now also triggered for
declarations without name in field lists of composite types if
the declaration is not an anonymous composite or a bitfield member.
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 3f988f7c..edff9ee1 100644 --- a/cparser/Cutil.mli +++ b/cparser/Cutil.mli @@ -128,6 +128,8 @@ val is_composite_type : Env.t -> typ -> bool (* Is type a struct or union? *) val is_function_type : Env.t -> typ -> bool (* Is type a function type? (not pointer to function) *) +val is_anonymous_composite : typ -> bool + (* Is type an anonymous composite? *) val pointer_arithmetic_ok : Env.t -> typ -> bool (* Is the type [*ty] appropriate for pointer arithmetic? [ty] must not be void, nor a function type, nor an incomplete type. *) |