 Chandler Carruth
|
324f918438
Update the file headers across all of the LLVM projects in the monorepo
|
6 лет назад |
 Artem Dergachev
|
a12cce0112
[analyzer] Make sure base-region and its sub-regions are either all alive or all dead.
|
6 лет назад |
|
Artem Dergachev
|
447f4b58b0
[analyzer] Fix the "Zombie Symbols" bug.
|
6 лет назад |
|
Artem Dergachev
|
9b5257f27c
[analyzer] Fix dumping for SymbolConjured conjured at no particular statement.
|
6 лет назад |
 George Karpenkov
|
58cfe5b8b7
[analyzer] Further printing improvements: use declarations,
|
7 лет назад |
 Mikhail R. Gadelha
|
6efe165706
[analyzer] Memoize complexity of SymExpr
|
7 лет назад |
|
George Karpenkov
|
3387634751
[analyzer] [NFC] A convenient getter for getting a current stack frame
|
7 лет назад |
 Eugene Zelenko
|
09a80cc504
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
|
7 лет назад |
 Gabor Horvath
|
3c5f57098d
[analyzer] Dump signed integers in SymIntExpr and IntSymExpr correctly
|
7 лет назад |
 Dominic Chen
|
bd6b03c8ad
[analyzer] Print type for SymbolRegionValues when dumping to stream
|
8 лет назад |
|
Artem Dergachev
|
64f71c6f30
[analyzer] Add LocationContext information to SymbolMetadata.
|
9 лет назад |
 Yaron Keren
|
dcbc03e446
Annotate dump() methods with LLVM_DUMP_METHOD, addressing Richard Smith r259192 post commit comment.
|
9 лет назад |
|
Artem Dergachev
|
3e7cbba83d
[analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency.
|
9 лет назад |
|
Artem Dergachev
|
37ffc1a156
[analyzer] Fix symbolic element index lifetime.
|
9 лет назад |
 Ted Kremenek
|
99bb39afb4
[analyzer] Apply whitespace cleanups by Honggyu Kim.
|
10 лет назад |
 David Blaikie
|
881f428893
Wdeprecated: CollectReachableSymbolsCallback are move constructed/returned by value, so make sure they're copy/moveable
|
10 лет назад |
 Craig Topper
|
1843a2095a
[C++11] Use 'nullptr'. StaticAnalyzer edition.
|
11 лет назад |
 Reid Kleckner
|
26b55ea31d
Use llvm::DeleteContainerSeconds when possible
|
11 лет назад |
 Jordan Rose
|
3aa6f43189
[analyzer] Add support for testing the presence of weak functions.
|
12 лет назад |
 Robert Wilhelm
|
344472ebed
Use pop_back_val() instead of both back() and pop_back().
|
12 лет назад |
|
Jordan Rose
|
a5796f8722
[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().
|
12 лет назад |
 Anna Zaks
|
74c0d69884
[analyzer] Use isLiveRegion to determine when SymbolRegionValue is dead.
|
12 лет назад |
|
Jordan Rose
|
05cb2eb0a7
[analyzer] Include opcode in dumping a SymSymExpr.
|
12 лет назад |
|
Anna Zaks
|
8501b7a1c4
[analyzer] Run remove dead on end of path.
|
12 лет назад |
|
Ted Kremenek
|
732cdf383f
Remove unnecessary ASTContext& parameter from SymExpr::getType().
|
13 лет назад |
|
Jordan Rose
|
0073a5c7ce
Reapply "[analyzer] Remove constraints on dead symbols as part of removeDeadBindings."
|
13 лет назад |
|
Jordan Rose
|
6e3bf21f20
[analyzer] Calculate liveness for symbolic exprs as well as atomic symbols.
|
13 лет назад |
|
Jordan Rose
|
8e289bb59c
Revert "[analyzer] Remove constraints on dead symbols as part of removeDeadBindings."
|
13 лет назад |
|
Jordan Rose
|
24c7f98828
[analyzer] Remove constraints on dead symbols as part of removeDeadBindings.
|
13 лет назад |
|
Jordan Rose
|
fd11957f02
Revert "[analyzer] Treat all struct values as regions (even rvalues)."
|
13 лет назад |
