From bb5cdf9b97aa2798c935ccd911653f169f40a091 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ezgi=20=C3=87i=C3=A7ek?= <ezgi@fb.com>
Date: Thu, 5 Mar 2020 03:49:19 -0800
Subject: [PATCH] [pulse] Add FN tests to impurity

Reviewed By: jvillard

Differential Revision: D20251912

fbshipit-source-id: 623ab6ae5
---
 infer/tests/codetoanalyze/java/impurity/PurityModeled.java | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/infer/tests/codetoanalyze/java/impurity/PurityModeled.java b/infer/tests/codetoanalyze/java/impurity/PurityModeled.java
index 7e68e6327..9ebcebff9 100644
--- a/infer/tests/codetoanalyze/java/impurity/PurityModeled.java
+++ b/infer/tests/codetoanalyze/java/impurity/PurityModeled.java
@@ -81,4 +81,10 @@ class PurityModeled {
   void list_set_impure(ArrayList<String> list) {
     list.set(0, "e");
   }
+
+  void timing_call_in_loop_impure_FN() {
+    for (int i = 0; i < 10; i++) {
+      System.nanoTime();
+    }
+  }
 }