diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt index f59c3a785..9d5db425e 100644 --- a/infer/man/man1/infer-full.txt +++ b/infer/man/man1/infer-full.txt @@ -1397,7 +1397,8 @@ INTERNAL OPTIONS --incremental-analysis Activates: [EXPERIMENTAL] Use incremental analysis for changed - files (Conversely: --no-incremental-analysis) + files. Not compatible with --reanalyze. (Conversely: + --no-incremental-analysis) --iphoneos-target-sdk-version-path-regex-reset Set --iphoneos-target-sdk-version-path-regex to the empty list. @@ -1590,7 +1591,8 @@ INTERNAL OPTIONS (clang only) (Conversely: --no-reactive-capture) --reanalyze - Activates: Rerun the analysis (Conversely: --no-reanalyze) + Activates: Rerun the analysis. Not compatible with + --incremental-analysis. (Conversely: --no-reanalyze) --report-blacklist-files-containing-reset Set --report-blacklist-files-containing to the empty list. diff --git a/infer/src/base/Config.ml b/infer/src/base/Config.ml index e7b3c6350..9cdba2e2d 100644 --- a/infer/src/base/Config.ml +++ b/infer/src/base/Config.ml @@ -1959,7 +1959,10 @@ and reactive_capture = "Compile source files only when required by analyzer (clang only)" -and reanalyze = CLOpt.mk_bool ~long:"reanalyze" "Rerun the analysis" +and reanalyze = + CLOpt.mk_bool ~long:"reanalyze" + "Rerun the analysis. Not compatible with $(b,--incremental-analysis)." + and relative_path_backtrack = CLOpt.mk_int ~long:"backtrack-level" ~default:0 ~meta:"int" @@ -2345,7 +2348,8 @@ and use_cost_threshold = and incremental_analysis = CLOpt.mk_bool ~long:"incremental-analysis" ~default:false - "[EXPERIMENTAL] Use incremental analysis for changed files" + "[EXPERIMENTAL] Use incremental analysis for changed files. Not compatible with \ + $(b,--reanalyze)." and version =