add clang with -f3c-tool to tests

Author: kyleheadley

clang/test/3C/allarrays.c

@@ -1,7 +1,5 @@
 // RUN: 3c -alltypes %s | FileCheck -match-full-lines --check-prefixes="CHECK" %s
-
-// Currently not possible to run clang on the output,
-// since 3c cannot yet determine array bounds for q
+// RUN: 3c -alltypes %s | %clang -c -f3c-tool -fcheckedc-extension -x c -o /dev/null -
 
 int* foo();
 //CHECK: _Array_ptr<int> foo(_Array_ptr<int> r);

clang/test/3C/arrboundsadvanced.c

@@ -1,7 +1,5 @@
 // RUN: 3c -alltypes %s | FileCheck -match-full-lines %s
-
-// Currently not possible to run clang on the output,
-// since 3c cannot yet determine array bounds for intarr
+// RUN: 3c -alltypes %s | %clang -c -f3c-tool -fcheckedc-extension -x c -o /dev/null -
 
 /*
 Advanced array-bounds inference (based on control-dependencies).
@@ -19,12 +17,12 @@ struct foo1 {
     unsigned ml;    
 };
 //CHECK:     _Array_ptr<int> x : count(ml);
+unsigned FooLenD;
+unsigned FooLen;
 struct foo **FL;
 int *intarr;
 //CHECK: _Array_ptr<_Ptr<struct foo>> FL : count(FooLen) = ((void *)0);
 //CHECK: _Array_ptr<int> intarr = ((void *)0);
-unsigned FooLenD;
-unsigned FooLen;
 void intcopy(int *arr, int *ptr, int len) {
     int i;
     for (i=0; i<len; i++) {

clang/test/3C/extGVarbar2.c

@@ -3,7 +3,7 @@
 //RUN: %clang -c %S/extGVarbar2.checked2.c %S/extGVarbar1.checked2.c
 //RUN: rm %S/extGVarbar1.checked2.c %S/extGVarbar2.checked2.c
 
-/*second of the bar files*/ 
+// This test cannot use pipes because it requires multiple output files
 
 int w = 2;
 int *y = &w; 

clang/test/3C/extGVarm2.c

@@ -3,6 +3,8 @@
 //RUN: %clang -c %S/extGVarm2.checked2.c %S/extGVarm3.checked2.c %S/extGVarm1.checked2.c
 //RUN: rm %S/extGVarm1.checked2.c %S/extGVarm2.checked2.c %S/extGVarm3.checked2.c
 
+// This test cannot use pipes because it requires multiple output files
+
 extern int *x;
 //CHECK: extern int *x; 
 

clang/test/3C/extGVarm3.c

@@ -3,7 +3,7 @@
 //RUN: %clang -c %S/extGVarm3.checked3.c %S/extGVarm2.checked3.c %S/extGVarm1.checked3.c
 //RUN: rm %S/extGVarm1.checked3.c %S/extGVarm2.checked3.c %S/extGVarm3.checked3.c 
 
-// This test cannot use pipes because it uses multiple input files
+// This test cannot use pipes because it requires multiple output files
 
 extern int *x; 
 //CHECK: extern int *x;

clang/test/3C/hash.c

@@ -1,7 +1,7 @@
 // RUN: 3c -alltypes %s | FileCheck -match-full-lines -check-prefixes="CHECK_ALL","CHECK" %s
 
 // Currently not possible to run clang on the output,
-// since 3c cannot yet determine array bounds for hash_get_bucket
+// there is an error reported at https://github.com/correctcomputation/checkedc-clang/issues/349
 
 /*
  * Based on hash.c in Very Secure FTPd

clang/test/3C/partial_checked_arr.c

@@ -1,11 +1,9 @@
 // RUN: 3c -addcr -alltypes %s | FileCheck -match-full-lines -check-prefixes="CHECK_ALL","CHECK" %s
+// RUN: 3c -addcr -alltypes %s | %clang -c -f3c-tool -fcheckedc-extension -x c -o /dev/null -
 // RUN: 3c -addcr %s | FileCheck -match-full-lines -check-prefixes="CHECK_NOALL","CHECK" %s
-// RUN: 3c -alltypes -output-postfix=checked %s
-// RUN: 3c -alltypes %S/partial_checked_arr.checked.c | count 0
-// RUN: rm %S/partial_checked_arr.checked.c
-
-// Currently not possible to run clang on the output,
-// since 3c cannot yet determine array bounds in this case
+// RUN: 3c -addcr %s | %clang -c -f3c-tool -fcheckedc-extension -x c -o /dev/null -
+// RUN: 3c -alltypes %s > %t
+// RUN: 3c -alltypes %t | count 0
 
 int strcmp(const char *src1 : itype(_Nt_array_ptr<const char>),
            const char *src2 : itype(_Nt_array_ptr<const char>));

clang/test/3C/patch_issue_272.c

@@ -1,12 +1,9 @@
 // RUN: 3c -alltypes %s | FileCheck -match-full-lines %s
+// RUN: 3c -alltypes %s | %clang -c -f3c-tool -fcheckedc-extension -x c -o /dev/null -
 
 /********************************************************************/
 /* Tests to keep pointer level from                                 */
 /* https://github.com/correctcomputation/checkedc-clang/issues/272  */
-/*                                                                  */
-/* Currently not possible to run clang on the output,               */
-/* since 3c cannot yet determine full array bounds in this case     */
-/*                                                                  */
 /********************************************************************/
 
 int *a[];

clang/test/3C/untypedprototypes.c

@@ -1,4 +1,5 @@
 // RUN: 3c -alltypes %s | FileCheck -match-full-lines --check-prefixes="CHECK" %s
+// RUN: 3c -alltypes %s | %clang -c -f3c-tool -fcheckedc-extension -x c -o /dev/null -
 
 // Currently not possible to run clang on the output,
 // since 3c cannot yet determine array bounds in this case