[invariant-call] Disable issue type

Summary: We only care about expensive invariant calls. Let's disable the usual one since it is not used and there is no point filling up our dbs.

Reviewed By: dulmarod

Differential Revision: D18298530

fbshipit-source-id: 7a933c8da

infer/man/man1/infer-full.txt

@@ -429,7 +429,7 @@ OPTIONS
              INTEGER_OVERFLOW_R2 (enabled by default),
              INTEGER_OVERFLOW_U5 (disabled by default),
              INTERFACE_NOT_THREAD_SAFE (enabled by default),
-             INVARIANT_CALL (enabled by default),
+             INVARIANT_CALL (disabled by default),
              IVAR_NOT_NULL_CHECKED (enabled by default),
              Internal_error (enabled by default),
              JAVASCRIPT_INJECTION (enabled by default),

infer/man/man1/infer-report.txt

@@ -171,7 +171,7 @@ OPTIONS
              INTEGER_OVERFLOW_R2 (enabled by default),
              INTEGER_OVERFLOW_U5 (disabled by default),
              INTERFACE_NOT_THREAD_SAFE (enabled by default),
-             INVARIANT_CALL (enabled by default),
+             INVARIANT_CALL (disabled by default),
              IVAR_NOT_NULL_CHECKED (enabled by default),
              Internal_error (enabled by default),
              JAVASCRIPT_INJECTION (enabled by default),

infer/man/man1/infer.txt

@@ -429,7 +429,7 @@ OPTIONS
              INTEGER_OVERFLOW_R2 (enabled by default),
              INTEGER_OVERFLOW_U5 (disabled by default),
              INTERFACE_NOT_THREAD_SAFE (enabled by default),
-             INVARIANT_CALL (enabled by default),
+             INVARIANT_CALL (disabled by default),
              IVAR_NOT_NULL_CHECKED (enabled by default),
              Internal_error (enabled by default),
              JAVASCRIPT_INJECTION (enabled by default),

infer/src/base/IssueType.ml

@@ -321,7 +321,7 @@ let interface_not_thread_safe = register_from_string "INTERFACE_NOT_THREAD_SAFE"
 
 let internal_error = register_from_string "Internal_error"
 
-let invariant_call = register_from_string "INVARIANT_CALL"
+let invariant_call = register_from_string ~enabled:false "INVARIANT_CALL"
 
 let javascript_injection = register_from_string "JAVASCRIPT_INJECTION"