4 int Buffer[BUFSIZE];  variable
40   Buffer[x] = 1; // no-warning  in testConfigurationNamespacePropagation1()
43   Buffer[x] = 1; // expected-warning {{Out of bound memory access }}  in testConfigurationNamespacePropagation1()
48   Buffer[x] = 1; // no-warning  in testConfigurationNamespacePropagation2()
51   Buffer[y] = 1; // expected-warning {{Out of bound memory access }}  in testConfigurationNamespacePropagation2()
56   Buffer[x] = 1; // expected-warning {{Out of bound memory access }}  in testConfigurationNamespacePropagation3()
63   Buffer[x] = 1; // expected-warning {{Out of bound memory access }}  in testConfigurationNamespacePropagation4()
70   Buffer[x] = 1; // no-warning  in testConfigurationNamespaceFilter1()
75   Buffer[y] = 1; // expected-warning {{Out of bound memory access }}  in testConfigurationNamespaceFilter1()
82   Buffer[x] = 1; // no-warning  in testConfigurationNamespaceFilter2()
89   Buffer[x] = 1; // no-warning  in testConfigurationNamespaceFilter3()
122   Buffer[x] = 1; // no-warning  in testConfigurationMemberFunc()
125   Buffer[x] = 1; // expected-warning {{Out of bound memory access }}  in testConfigurationMemberFunc()