]> andersk Git - splint.git/commitdiff
Modified tests to account for bool being defined in the standard library.
authordrl7x <drl7x>
Thu, 6 Mar 2003 06:20:48 +0000 (06:20 +0000)
committerdrl7x <drl7x>
Thu, 6 Mar 2003 06:20:48 +0000 (06:20 +0000)
test/decl.c
test/tests2.5/booltest.c
test/utypes.c

index 1fc1c1d0cca524d64abd5ccb5863436c7d16accd..82f9bcc4ad03fb1759dd232e9ac15ccbc00bc852 100644 (file)
@@ -6,3 +6,16 @@ int main()
   int (**x)(int) = &y;
   x(10);  /* called object is not a function */
 }
+
+static /*@unused@*/ void foo1(void)
+{
+  int buf[10];
+  buf[10] = 3;
+}
+
+
+static /*@unused@*/ void foo(void) 
+{ 
+  float *array = NULL; 
+  size_t /*@unused@*/ size = sizeof(array[0]); 
+} 
index 48fc58b90c8379ba9ef80ca52a5e2d38fc390599..1c4e3eb538d5cfdffffc3f57db6372d8e940560a 100644 (file)
@@ -1,8 +1,8 @@
 /*
 ** Boolean type checking
 */
-
-typedef int bool;
+// bool is now defined in the standard library
+#include<stdbool.h>
 
 bool f (int i, bool b) {
   if (i) { /* error with -boolint -predboolint */
index 38cda606bb27b5852191585d8f44feee58a04ab6..1df654bbda1b29c2350bc95082f14f270253d89c 100644 (file)
@@ -9,7 +9,7 @@ typedef unsigned long ulong;
 /* the platform), we have to take steps to prevent name clashes. */
 /*** NOTE: This requires that you include std.h *before* any other ***/
 /*** header file that includes sys/types.h. ***/
-#define bool bool_          /* (maybe not needed) */
+//#define bool bool_          / * (maybe not needed) * /
 #define uchar uchar_
 #define uint uint_
 #define ushort ushort_
This page took 0.070025 seconds and 5 git commands to generate.