Change test7 in functionDeclEnd.c to infer a valid bound

The purpose of this function was to test function declaration rewriting
for itype array pointers declared with bounds but without an explicit
itype. This is equally well tested when a correct bound is inferred for
the parameter array.

(Matt: Remove the XFAIL now that the test is fixed.)

Author: john-h-kastner

clang/test/3C/functionDeclEnd.c

@@ -4,16 +4,6 @@
 // RUN: 3c -base-dir=%S -addcr -alltypes %s -- | %clang -c -fcheckedc-extension -x c -o /dev/null -
 // RUN: 3c -base-dir=%S -alltypes -output-dir=%t.checked %s --
 // RUN: 3c -base-dir=%t.checked -alltypes %t.checked/functionDeclEnd.c -- | diff %t.checked/functionDeclEnd.c -
-// XFAIL: *
-
-// TODO: checkedc-clang issue 1147. This test fails due to the compiler
-// checking that the inferred bounds for the return value of a function
-// imply the declared bounds for the function. The following functions in
-// this test file return expressions with unknown bounds, which do not imply
-// the function's declared bounds:
-// 1. test3 (in unchecked scope - no error)
-// 2. test7 (in checked scope - this result in a compiler error)
-// 3. test8 (in unchecked scope - no error)
 
 // Tests for issue 392. When rewriting function prototypes sometimes code
 // falling between the start of the definition and the end of the prototype
@@ -136,7 +126,7 @@ void test6(int *a)
 int *test7(int *a)
     : count(10)
 //CHECK_NOALL: int *test7(int *a : itype(_Ptr<int>)) : count(10)
-//CHECK_ALL: _Array_ptr<int> test7(_Array_ptr<int> a) : count(10)
+//CHECK_ALL: _Array_ptr<int> test7(_Array_ptr<int> a : count(10)) : count(10)
 #else
 int *test7(int *a)
     : count(10)
@@ -149,8 +139,10 @@ int *test7(int *a)
 //CHECK: ;
 
 int *test7(int *a) : count(10) {
-  //CHECK_ALL: _Array_ptr<int> test7(_Array_ptr<int> a) : count(10) _Checked {
+  //CHECK_ALL: _Array_ptr<int> test7(_Array_ptr<int> a : count(10)) : count(10) _Checked {
   //CHECK_NOALL: int *test7(int *a : itype(_Ptr<int>)) : count(10) {
+  for (int i = 0; i < 10; i++)
+    a[i];
   return a;
 }