[analyzer] Add option to set maximum symbol complexity threshold
authorMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Tue, 10 Jul 2018 13:46:05 +0000 (13:46 +0000)
committerMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Tue, 10 Jul 2018 13:46:05 +0000 (13:46 +0000)
commit237d42bfa53c6fb8c3fc3760b91799e8f2f9f5e9
tree55015c02ed590923cff67f1e0f8c7ec6c42ede6f
parent92108de5726f0f9b35d5af611006bcf6f932089e
[analyzer] Add option to set maximum symbol complexity threshold

Summary:
This adds an option, max-symbol-complexity, so an user can set the maximum symbol complexity threshold.

Note that the current behaviour is equivalent to max complexity = 0, when taint analysis is not enabled and tests show that in a number of tests, having complexity = 25 yields the same results as complexity = 10000.

This patch was extracted and modified from Dominic Chen's patch, D35450.

Reviewers: george.karpenkov, NoQ, ddcc

Reviewed By: george.karpenkov

Subscribers: xazax.hun, szepet, a.sidorin

Differential Revision: https://reviews.llvm.org/D49093

llvm-svn: 336671
clang/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h
clang/lib/StaticAnalyzer/Core/AnalyzerOptions.cpp
clang/lib/StaticAnalyzer/Core/SValBuilder.cpp