 Jonas Devlieghere
|
49a6b09101
[Clang] Migrate llvm::make_unique to std::make_unique
|
vor 6 Jahren |
 Csaba Dabis
|
2453ceca55
[analyzer] print() JSONify: Constraints implementation
|
vor 6 Jahren |
 Adam Balogh
|
92470c6aad
[Analyzer] Constraint Manager - Calculate Effective Range for Differences
|
vor 6 Jahren |
|
Csaba Dabis
|
797cb7e866
[analyzer] ConditionBRVisitor: Remove GDM checking
|
vor 6 Jahren |
|
Csaba Dabis
|
ab24926ff7
Revert "[analyzer] ConditionBRVisitor: Remove GDM checking"
|
vor 6 Jahren |
|
Csaba Dabis
|
ef1d401f90
[analyzer] ConditionBRVisitor: Remove GDM checking
|
vor 6 Jahren |
 Chandler Carruth
|
324f918438
Update the file headers across all of the LLVM projects in the monorepo
|
vor 6 Jahren |
 Artem Dergachev
|
447f4b58b0
[analyzer] Fix the "Zombie Symbols" bug.
|
vor 6 Jahren |
|
Artem Dergachev
|
6748c6fecb
[analyzer] pr38273: Legalize Loc<>NonLoc comparison symbols.
|
vor 7 Jahren |
|
Adam Balogh
|
e3ba09890a
[Analyzer] Constraint Manager Negates Difference
|
vor 7 Jahren |
 Mikhail R. Gadelha
|
0783eeef9a
Revert "[Analyzer] Moved RangeConstraintManager to header. NFC."
|
vor 7 Jahren |
|
Mikhail R. Gadelha
|
5e1a89912d
[Analyzer] Moved RangeConstraintManager to header. NFC.
|
vor 7 Jahren |
|
Mikhail R. Gadelha
|
f1d20616fb
Moved RangedConstraintManager header to the StaticAnalyser include dir
|
vor 7 Jahren |
|
Mikhail R. Gadelha
|
76f13007f5
[analyzer] Move RangeSet related declarations into the RangedConstraintManager header.
|
vor 7 Jahren |
 Adrian Prantl
|
647be32c60
Remove \brief commands from doxygen comments.
|
vor 7 Jahren |
 Richard Smith
|
96881be75c
[c++20] P0515R3: Parsing support and basic AST construction for operator <=>.
|
vor 7 Jahren |
 George Karpenkov
|
b873ee35bb
[analyzer] [NFC] remove duplicated function
|
vor 7 Jahren |
|
George Karpenkov
|
f7de82cd93
[analyzer] assume bitwise arithmetic axioms
|
vor 7 Jahren |
 Dominic Chen
|
31b3c535d9
[analyzer] Refactor and simplify SimpleConstraintManager
|
vor 8 Jahren |
|
Dominic Chen
|
9175ccbdf2
[analyzer] Run clang-format and fix style
|
vor 8 Jahren |
|
Dominic Chen
|
400a9bf83c
[analyzer] Minor optimization: avoid setting state if unchanged
|
vor 8 Jahren |
 Mehdi Amini
|
2e23251d3e
[NFC] Header cleanup
|
vor 9 Jahren |
 Pierre Gousseau
|
8b94c483f9
[analyzer] Fix RangeConstraintManager's pinning of single value ranges.
|
vor 9 Jahren |
 Devin Coughlin
|
8ef8ffcccf
[analyzer] Create one state for a range switch case instead of multiple.
|
vor 10 Jahren |
 Ted Kremenek
|
99bb39afb4
[analyzer] Apply whitespace cleanups by Honggyu Kim.
|
vor 10 Jahren |
 David Blaikie
|
bb458b61c5
unique_ptrify the result of ConstraintManagerCreator and StoreManagerCreator
|
vor 11 Jahren |
 Craig Topper
|
1843a2095a
[C++11] Use 'nullptr'. StaticAnalyzer edition.
|
vor 11 Jahren |
|
Craig Topper
|
83daac80e9
[C++11] Add 'override' keyword to virtual methods that override their base class.
|
vor 11 Jahren |
 Jordan Rose
|
4708b3dde8
[analyzer] Teach constraint managers about unsigned comparisons.
|
vor 12 Jahren |
|
Jordan Rose
|
78114a58f8
[analyzer] Translate "a != b" to "(b - a) != 0" in the constraint manager.
|
vor 12 Jahren |
