diff --git a/infer/tests/codetoanalyze/cpp/bufferoverrun/class.cpp b/infer/tests/codetoanalyze/cpp/bufferoverrun/class.cpp
index a45c2d5ee..c0a4e6e19 100644
--- a/infer/tests/codetoanalyze/cpp/bufferoverrun/class.cpp
+++ b/infer/tests/codetoanalyze/cpp/bufferoverrun/class.cpp
@@ -291,6 +291,18 @@ void use_global_Bad() {
   a[S::x] = 0;
 }
 
+const unsigned int S::x;
+
+void use_global_2_Good() {
+  int a[50];
+  a[S::x] = 0;
+}
+
+void use_global_2_Bad_FN() {
+  int a[30];
+  a[S::x] = 0;
+}
+
 class my_class6 {
   int* x;