From 3b41abfb8824edfd404f684b24d696bc0bace921 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ezgi=20=C3=87i=C3=A7ek?= Date: Mon, 4 Nov 2019 07:08:59 -0800 Subject: [PATCH] [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 | 2 +- infer/man/man1/infer-report.txt | 2 +- infer/man/man1/infer.txt | 2 +- infer/src/base/IssueType.ml | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) 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"