diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt index b9689c510..e387d1991 100644 --- a/infer/man/man1/infer-full.txt +++ b/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), diff --git a/infer/man/man1/infer-report.txt b/infer/man/man1/infer-report.txt index dc7cf581f..6c718ec04 100644 --- a/infer/man/man1/infer-report.txt +++ b/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), diff --git a/infer/man/man1/infer.txt b/infer/man/man1/infer.txt index f36588b14..1cece97f4 100644 --- a/infer/man/man1/infer.txt +++ b/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), diff --git a/infer/src/base/IssueType.ml b/infer/src/base/IssueType.ml index 1cfd39656..c2aef7c93 100644 --- a/infer/src/base/IssueType.ml +++ b/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"