From 1eef0782f60f9d8d80be273ace982ad4c2a56d98 Mon Sep 17 00:00:00 2001 From: jbj Date: Fri, 21 Sep 2001 15:07:11 +0000 Subject: - lclint-3.0.0.15 fiddles. CVS patchset: 5067 CVS date: 2001/09/21 15:07:11 --- system.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'system.h') diff --git a/system.h b/system.h index 1e16e32a2..83495735a 100644 --- a/system.h +++ b/system.h @@ -42,7 +42,9 @@ extern time_t timezone; typedef unsigned int u_int32_t; typedef unsigned short u_int16_t; typedef unsigned char u_int8_t; +/*@-incondefs@*/ /* LCLint 3.0.0.15 */ typedef int int32_t; +/*@=incondefs@*/ /*@-declundef@*/ /*@only@*/ void * alloca (size_t size) /*@modifies internalState @*/; /*@=declundef@*/ -- cgit v1.2.3