[infer] remove the option --ignore-trivial-traces which is no longer used

Reviewed By: mbouaziz

Differential Revision: D13831343

fbshipit-source-id: 4c3efec36

infer/man/man1/infer-full.txt

@@ -1154,10 +1154,6 @@ INTERNAL OPTIONS
        --icfg-dotty-outfile-reset
            Cancel the effect of --icfg-dotty-outfile.
 
-       --ignore-trivial-traces
-           Activates: Ignore traces whose length is at most 1 (Conversely:
-           --no-ignore-trivial-traces)
-
        --invariant-by-default
            Activates: [Cost]Consider functions to be invariant by default
            (Conversely: --no-invariant-by-default)

infer/src/base/Config.ml

@@ -1420,11 +1420,6 @@ and icfg_dotty_outfile =
      other options that would generate icfg file otherwise"
 
 
-and ignore_trivial_traces =
-  CLOpt.mk_bool ~long:"ignore-trivial-traces" ~default:false
-    "Ignore traces whose length is at most 1"
-
-
 and iphoneos_target_sdk_version =
   CLOpt.mk_string_opt ~long:"iphoneos-target-sdk-version"
     ~in_help:InferCommand.[(Capture, manual_clang_linters)]
@@ -2689,8 +2684,6 @@ and hoisting_report_only_expensive = !hoisting_report_only_expensive
 
 and icfg_dotty_outfile = !icfg_dotty_outfile
 
-and ignore_trivial_traces = !ignore_trivial_traces
-
 and immutable_cast = !immutable_cast
 
 and iphoneos_target_sdk_version = !iphoneos_target_sdk_version
@@ -2698,7 +2691,6 @@ and iphoneos_target_sdk_version = !iphoneos_target_sdk_version
 and iphoneos_target_sdk_version_path_regex =
   process_iphoneos_target_sdk_version_path_regex !iphoneos_target_sdk_version_path_regex
 
-
 and issues_fields = !issues_fields
 
 and issues_tests = !issues_tests

infer/src/base/Config.mli

@@ -392,8 +392,6 @@ val hoisting_report_only_expensive : bool
 
 val icfg_dotty_outfile : string option
 
-val ignore_trivial_traces : bool
-
 val immutable_cast : bool
 
 val infer_is_clang : bool