From 1e867c804ed11200c8ed1a55a71f416977249363 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Tue, 21 Feb 2017 14:01:51 +0100 Subject: Added check for large arrays. The check tests whether the size calculation of an array overflows or the array covers half of the available address space and reports an error in this case. Bug 21034 --- cparser/Cutil.mli | 2 ++ 1 file changed, 2 insertions(+) (limited to 'cparser/Cutil.mli') diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli index 715cc123..79975dcf 100644 --- a/cparser/Cutil.mli +++ b/cparser/Cutil.mli @@ -237,6 +237,8 @@ val field_of_dot_access: Env.t -> typ -> string -> field (* Return the field info for a [x.field] access *) val field_of_arrow_access: Env.t -> typ -> string -> field (* Return the field info for a [x->field] access *) +val valid_array_size: Env.t -> typ -> int64 -> bool + (* Test whether the array size fits in half of the address space *) (* Constructors *) -- cgit