Fangrui Song
|
aa528ab4a0
Revert "Revert r347417 "Re-Reinstate 347294 with a fix for the failures.""
|
6 年之前 |
Fangrui Song
|
e350174b21
Revert r347417 "Re-Reinstate 347294 with a fix for the failures."
|
6 年之前 |
Kristof Umann
|
d1b208c30b
[analyzer] Evaluate all non-checker config options before analysis
|
6 年之前 |
Artem Dergachev
|
447f4b58b0
[analyzer] Fix the "Zombie Symbols" bug.
|
6 年之前 |
Hans Wennborg
|
b129ce9436
Re-commit r347417 "Re-Reinstate 347294 with a fix for the failures."
|
6 年之前 |
Hans Wennborg
|
e44c638ccf
Revert r347417 "Re-Reinstate 347294 with a fix for the failures."
|
6 年之前 |
Bill Wendling
|
4e64d31bc5
Re-Reinstate 347294 with a fix for the failures.
|
6 年之前 |
Nico Weber
|
e9629181bd
Revert r347364 again, the fix was incomplete.
|
6 年之前 |
Bill Wendling
|
830bf59980
Reinstate 347294 with a fix for the failures.
|
6 年之前 |
Nico Weber
|
20e1e29aff
Revert 347294, it turned many bots on lab.llvm.org:8011/console red.
|
6 年之前 |
Bill Wendling
|
dafd68092c
Use is.constant intrinsic for __builtin_constant_p
|
6 年之前 |
Bill Wendling
|
ed611fa5aa
Compound literals, enums, et al require const expr
|
6 年之前 |
Bill Wendling
|
0680f97fc4
Create ConstantExpr class
|
6 年之前 |
Artem Dergachev
|
3f9a2142b4
[analyzer] Be more plugin-friendly by moving static locals into .cpp files.
|
6 年之前 |
Benjamin Kramer
|
a579dd81da
Move some helpers from the global namespace into anonymous ones.
|
6 年之前 |
George Karpenkov
|
b0be6606a0
[analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter
|
7 年之前 |
George Karpenkov
|
08f8ea6baf
[analyzer] Provide an option to dump generated exploded graphs to a given file.
|
7 年之前 |
George Karpenkov
|
e3f8429a58
[analyzer] Hotfix for the bug in exploded graph printing
|
7 年之前 |
George Karpenkov
|
5d226e27d0
[analyzer] Highlight nodes which have error reports in them in red in exploded graph
|
7 年之前 |
George Karpenkov
|
7bee69dec5
[analyzer] [NFC] Move the code for dumping the program point to ProgramPoint
|
7 年之前 |
George Karpenkov
|
9d7fcc690d
[analyzer] Highlight sink nodes in red
|
7 年之前 |
George Karpenkov
|
211d53294b
[analyzer] Associate diagnostics created in checkEndFunction with a return statement, if possible
|
7 年之前 |
George Karpenkov
|
e7f0cee909
[analyzer] [NFC] Dead code removal
|
7 年之前 |
George Karpenkov
|
b9dbcf4f94
[analyzer] ExplodedGraph printing fixes
|
7 年之前 |
George Karpenkov
|
58cfe5b8b7
[analyzer] Further printing improvements: use declarations,
|
7 年之前 |
George Karpenkov
|
7d1cca4458
[analyzer] Dump reproducible identifiers for statements in exploded graph in store
|
7 年之前 |
George Karpenkov
|
843c06ec25
[analyzer] Use correct end-of-line character when printing statements for exploded graph
|
7 年之前 |
George Karpenkov
|
f702afcb3e
[analyzer] Dump unique identifiers for statements in exploded graph
|
7 年之前 |
George Karpenkov
|
e4d256f38d
[analyzer] Skip printing duplicate nodes, even if nodes have multiple predecessors/successors
|
7 年之前 |
George Karpenkov
|
3f0bc9eab1
[analyzer] Skip printing trivial nodes in exploded graph
|
7 年之前 |