diff --git a/infer/man/man1/infer-full.txt b/infer/man/man1/infer-full.txt index 39f86a494..32f72b953 100644 --- a/infer/man/man1/infer-full.txt +++ b/infer/man/man1/infer-full.txt @@ -452,6 +452,8 @@ OPTIONS EXECUTION_TIME_COMPLEXITY_INCREASE_UI_THREAD (enabled by default), EXECUTION_TIME_UNREACHABLE_AT_EXIT (disabled by default), + EXPENSIVE_AUTORELEASEPOOL_SIZE (disabled by default), + EXPENSIVE_EXECUTION_TIME (disabled by default), EXPENSIVE_LOOP_INVARIANT_CALL (enabled by default), EXPOSED_INSECURE_INTENT_HANDLING (enabled by default), Failure_exe (enabled by default), diff --git a/infer/man/man1/infer-report.txt b/infer/man/man1/infer-report.txt index 41fd41dc0..06665928a 100644 --- a/infer/man/man1/infer-report.txt +++ b/infer/man/man1/infer-report.txt @@ -160,6 +160,8 @@ OPTIONS EXECUTION_TIME_COMPLEXITY_INCREASE_UI_THREAD (enabled by default), EXECUTION_TIME_UNREACHABLE_AT_EXIT (disabled by default), + EXPENSIVE_AUTORELEASEPOOL_SIZE (disabled by default), + EXPENSIVE_EXECUTION_TIME (disabled by default), EXPENSIVE_LOOP_INVARIANT_CALL (enabled by default), EXPOSED_INSECURE_INTENT_HANDLING (enabled by default), Failure_exe (enabled by default), diff --git a/infer/man/man1/infer.txt b/infer/man/man1/infer.txt index f31576bb5..bc63dd730 100644 --- a/infer/man/man1/infer.txt +++ b/infer/man/man1/infer.txt @@ -452,6 +452,8 @@ OPTIONS EXECUTION_TIME_COMPLEXITY_INCREASE_UI_THREAD (enabled by default), EXECUTION_TIME_UNREACHABLE_AT_EXIT (disabled by default), + EXPENSIVE_AUTORELEASEPOOL_SIZE (disabled by default), + EXPENSIVE_EXECUTION_TIME (disabled by default), EXPENSIVE_LOOP_INVARIANT_CALL (enabled by default), EXPOSED_INSECURE_INTENT_HANDLING (enabled by default), Failure_exe (enabled by default), diff --git a/infer/src/base/IssueType.ml b/infer/src/base/IssueType.ml index a085466c6..f3cd7f9d4 100644 --- a/infer/src/base/IssueType.ml +++ b/infer/src/base/IssueType.ml @@ -1005,5 +1005,6 @@ let is_autoreleasepool_size_issue = List.iter [true; false] ~f:(fun is_on_ui_thread -> add_autoreleasepool_size_issue ~kind (unreachable_cost_call ~kind) ; add_autoreleasepool_size_issue ~kind (infinite_cost_call ~kind) ; + add_autoreleasepool_size_issue ~kind (expensive_cost_call ~kind) ; add_autoreleasepool_size_issue ~kind (complexity_increase ~kind ~is_on_ui_thread) ) ) ; fun issue_type -> IssueSet.mem issue_type !autoreleasepool_size_issues