[hosting] Disable purity and cost callbacks temporarily

Reviewed By: mbouaziz

Differential Revision: D10356668

fbshipit-source-id: a04c329c9

infer/src/checkers/registerCheckers.ml

@@ -109,12 +109,16 @@ let all_checkers =
   ; { name= "loop hoisting"
     ; active= Config.loop_hoisting
     ; callbacks=
-        [ (Procedure Hoisting.checker, Language.Clang)
+        ( (Procedure Hoisting.checker, Language.Clang)
-        ; (Procedure Hoisting.checker, Language.Java)
+          :: (Procedure Hoisting.checker, Language.Java)
-        ; (Procedure Cost.checker, Language.Clang)
+          ::
-        ; (Procedure Cost.checker, Language.Java)
+          ( if Config.hoisting_report_only_expensive then
-        ; (Procedure Purity.checker, Language.Clang)
+            [(Procedure Cost.checker, Language.Clang); (Procedure Cost.checker, Language.Java)]
-        ; (Procedure Purity.checker, Language.Java) ] }
+          else [] )
+        @
+        if Config.purity then
+          [(Procedure Purity.checker, Language.Clang); (Procedure Purity.checker, Language.Java)]
+        else [] ) }
   ; { name= "Starvation analysis"
     ; active= Config.starvation
     ; callbacks=

infer/tests/codetoanalyze/java/hoisting/Makefile

@@ -5,7 +5,7 @@
 
 TESTS_DIR = ../../..
 
-INFER_OPTIONS = --loop-hoisting-only --invariant-by-default --debug-exceptions
+INFER_OPTIONS = --loop-hoisting-only --purity  --debug-exceptions
 INFERPRINT_OPTIONS = --issues-tests
 SOURCES = $(wildcard *.java)
 

infer/tests/codetoanalyze/java/hoisting/issues.exp

@@ -8,10 +8,8 @@ codetoanalyze/java/hoisting/Hoist.java, Hoist.foo(int,int):int, 0, PURE_FUNCTION
 codetoanalyze/java/hoisting/Hoist.java, Hoist.legit_hoist(int,int[]):void, 5, INVARIANT_CALL, no_bucket, ERROR, [Loop-invariant call to int Hoist.foo(int,int) at line 73]
 codetoanalyze/java/hoisting/Hoist.java, Hoist.loop_guard_hoist(int,int[]):void, 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function void Hoist.loop_guard_hoist(int,int[])]
 codetoanalyze/java/hoisting/Hoist.java, Hoist.loop_guard_hoist(int,int[]):void, 4, INVARIANT_CALL, no_bucket, ERROR, [Loop-invariant call to int Hoist.foo(int,int) at line 65]
-codetoanalyze/java/hoisting/Hoist.java, Hoist.nested_loop_dont_hoist(int,int,int):void, 0, INFINITE_EXECUTION_TIME_CALL, no_bucket, ERROR, []
 codetoanalyze/java/hoisting/Hoist.java, Hoist.nested_loop_dont_hoist(int,int,int):void, 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function void Hoist.nested_loop_dont_hoist(int,int,int)]
 codetoanalyze/java/hoisting/Hoist.java, Hoist.nested_loop_hoist(int,int,int):void, 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function void Hoist.nested_loop_hoist(int,int,int)]
-codetoanalyze/java/hoisting/Hoist.java, Hoist.nested_loop_hoist(int,int,int):void, 4, CONDITION_ALWAYS_FALSE, no_bucket, WARNING, []
 codetoanalyze/java/hoisting/Hoist.java, Hoist.nested_loop_hoist(int,int,int):void, 5, INVARIANT_CALL, no_bucket, ERROR, [Loop-invariant call to int Hoist.foo(int,int) at line 127]
 codetoanalyze/java/hoisting/Hoist.java, Hoist.not_guaranteed_to_execute_dont_hoist(int,int,int):void, 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function void Hoist.not_guaranteed_to_execute_dont_hoist(int,int,int)]
 codetoanalyze/java/hoisting/Hoist.java, Hoist.reassigned_temp_hoist(int):void, 0, PURE_FUNCTION, no_bucket, ERROR, [Side-effect free function void Hoist.reassigned_temp_hoist(int)]

infer/tests/codetoanalyze/java/hoistingExpensive/Makefile

@@ -5,7 +5,7 @@
 
 TESTS_DIR = ../../..
 
-INFER_OPTIONS = --loop-hoisting-only --hoisting-report-only-expensive  --invariant-by-default --debug-exceptions
+INFER_OPTIONS = --loop-hoisting-only --purity --hoisting-report-only-expensive  --debug-exceptions
 INFERPRINT_OPTIONS = --issues-tests
 SOURCES = $(wildcard *.java)