From 6df295060cd051c8562aebe365bd1fb33ee40055 Mon Sep 17 00:00:00 2001
From: Mehdi Bouaziz <mbouaziz@fb.com>
Date: Mon, 25 Mar 2019 04:59:15 -0700
Subject: [PATCH] [inferbo] Added FN test

Reviewed By: skcho

Differential Revision: D14592973

fbshipit-source-id: 5f5e88996
---
 infer/tests/codetoanalyze/c/bufferoverrun/global.c | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/infer/tests/codetoanalyze/c/bufferoverrun/global.c b/infer/tests/codetoanalyze/c/bufferoverrun/global.c
index cbd14a84b..f9062a34c 100644
--- a/infer/tests/codetoanalyze/c/bufferoverrun/global.c
+++ b/infer/tests/codetoanalyze/c/bufferoverrun/global.c
@@ -55,3 +55,13 @@ static void copyfilter_Good_FP(const char* s, const char* z, int b) {
 }
 
 static const char* global_string_array[] = {"a", "b", "c", "d", "e", "f"};
+
+#define ISSUE949_SIZE 50
+
+int issue949_arr[ISSUE949_SIZE];
+
+void issue949_bad_FN() {
+  for (int i = 0; i <= ISSUE949_SIZE; i++) {
+    issue949_arr[i] = 1;
+  }
+}