Anna Zaks
0af3e06ff6
[analyzer] Rework inlining related command line options.
...
- Remove -analyzer-inline-call.
- Add -analyzer-ipa=[none|inlining]
- Add -analyzer-inlining-mode to allow experimentation for
different performance tuning methods.
llvm-svn: 152351
2012-03-08 23:16:35 +00:00
Anna Zaks
265087721a
[analyzer] Bound the size of the functions being inlined + provide
...
command line options for inlining tuning.
This adds the option for stack depth bound as well as function size
bound.
+ minor doxygenification
llvm-svn: 151930
2012-03-02 19:05:03 +00:00
Anna Zaks
43ffba2676
[analyzer] Leaks should be uniqued by the allocation point in the
...
closest function context.
This prevents us from uniqueing all leaks from the same allocation
helper. radar://10932226
llvm-svn: 151592
2012-02-27 23:40:55 +00:00
Anna Zaks
18de54b1a6
[analyzer] Run remove dead bindings before each call.
...
This ensures that we report the bugs associated with symbols going
out of scope in the correct function context.
llvm-svn: 151369
2012-02-24 16:49:46 +00:00
Anna Zaks
cdf24a9a5e
[analyzer] We were silently stopping exploring the path after
...
visiting 'return;' statement!
This most likely caused us to skip a bunch of code when analyzing with
inlining.
llvm-svn: 151368
2012-02-24 16:49:41 +00:00
Anna Zaks
3508a00543
[analyzer] + a couple more malloc tests.
...
llvm-svn: 151008
2012-02-21 00:00:48 +00:00
Anna Zaks
1526881ee0
[analyzer] Make Malloc aware of inter-procedural execution + basic
...
tests.
llvm-svn: 150993
2012-02-20 22:25:23 +00:00