Remove expected free variable errors from member-reference test

Author: Katherine Kjeer

clang/test/CheckedC/inferred-bounds/member-reference.c

@@ -10,6 +10,7 @@
 //
 // This line is for the clang test infrastructure:
 // RUN: %clang_cc1 -fcheckedc-extension -fdump-inferred-bounds -verify -verify-ignore-unexpected=warning -verify-ignore-unexpected=note -fdump-inferred-bounds %s | FileCheck %s
+// expected-no-diagnostics
 
 struct S1 {
   _Array_ptr<int> p : count(len);
@@ -100,7 +101,7 @@ void f1(struct S1 a1, struct S2 b2) {
 int global_arr1[5];
 void f2(struct S1 a3) {
   // TODO: need bundled block.
-  a3.p = global_arr1; // expected-error {{it is not possible to prove that the inferred bounds of a3.p imply the declared bounds of a3.p after assignment}}
+  a3.p = global_arr1;
   a3.len = 5;
 
 // CHECK: BinaryOperator {{0x[0-9a-f]+}} '_Array_ptr<int>' '='
@@ -347,7 +348,7 @@ int global_arr2 _Checked[5];
 
 void f12(struct Interop_S1 a1) {
   // TODO: need bundled block.
-  a1.p = global_arr2; // expected-error {{it is not possible to prove that the inferred bounds of a1.p imply the declared bounds of a1.p after assignment}}
+  a1.p = global_arr2;
   a1.len = 5;
 }
 
@@ -380,7 +381,7 @@ void f12(struct Interop_S1 a1) {
 
 _Checked void f13(struct Interop_S1 a1) {
   // TODO: need bundled block.
-  a1.p = global_arr2; // expected-error {{it is not possible to prove that the inferred bounds of a1.p imply the declared bounds of a1.p after assignment}}
+  a1.p = global_arr2;
   a1.len = 5;
 }