 Richard Smith
|
ea521aa602
[c++20] Add CXXRewrittenBinaryOperator to represent a comparison
|
5 лет назад |
 Artem Dergachev
|
d1127baaf9
[analyzer] Drop the logic for collapsing the state if it's same as in preds.
|
5 лет назад |
|
Artem Dergachev
|
0836645ecf
[analyzer] Fix hidden node traversal in exploded graph dumps.
|
5 лет назад |
 Alexey Bataev
|
653a638f94
[OPENMP50]Add support for master taskloop simd.
|
5 лет назад |
|
Artem Dergachev
|
d0e3ed0b01
[analyzer] Assign truly stable identifiers to exploded nodes.
|
5 лет назад |
 Saar Raz
|
40a8d3b5ee
[Concepts] Concept Specialization Expressions
|
5 лет назад |
 Nico Weber
|
04a9a9ffc7
Revert 374882 "[Concepts] Concept Specialization Expressions"
|
5 лет назад |
|
Saar Raz
|
88186b0504
[Concepts] Concept Specialization Expressions
|
5 лет назад |
|
Alexey Bataev
|
117352af51
[OPENMP50]Add support for 'parallel master taskloop' construct.
|
5 лет назад |
|
Alexey Bataev
|
e30a155e75
[OPENMP50]Support for 'master taskloop' directive.
|
5 лет назад |
|
Artem Dergachev
|
3b8bf1275b
[analyzer] NFC: Simplify bug report equivalence classes to not be ilists.
|
6 лет назад |
|
Artem Dergachev
|
9e6519fecc
[analyzer] NFC: Introduce sub-classes for path-sensitive and basic reports.
|
6 лет назад |
|
Artem Dergachev
|
b9fc39969b
[analyzer] Fix a crash when destroying a non-region.
|
6 лет назад |
 Rui Ueyama
|
ce7674d7be
Fix parameter name comments using clang-tidy. NFC.
|
6 лет назад |
|
Artem Dergachev
|
6ed0749151
[analyzer] exploded-graph-rewriter: Implement bug nodes and sink nodes.
|
6 лет назад |
 Erik Pilkington
|
159cd770e3
[C++2a] Add __builtin_bit_cast, used to implement std::bit_cast
|
6 лет назад |
|
Artem Dergachev
|
8a25b87f97
[analyzer] Add more timers for performance profiling.
|
6 лет назад |
 Csaba Dabis
|
0a9cba23fc
[analyzer] Fix JSON dumps for ExplodedNodes
|
6 лет назад |
|
Artem Dergachev
|
9fbbe6ff5b
[analyzer] Fix JSON dumps for location contexts.
|
6 лет назад |
|
Csaba Dabis
|
a5d3721dd8
[analyzer] print() JSONify: ExplodedNode revision
|
6 лет назад |
|
Csaba Dabis
|
2713d755f2
[analyzer] Remove EndPath function as it is dead code
|
6 лет назад |
|
Csaba Dabis
|
fe49899262
[analyzer][AST] print() JSONify: Stmt implementation
|
6 лет назад |
|
Csaba Dabis
|
ba7166bafc
[analyzer] print() JSONify: getNodeLabel implementation
|
6 лет назад |
|
Csaba Dabis
|
d2c834f99b
[analyzer] print() JSONify: Checker messages implementation
|
6 лет назад |
|
Csaba Dabis
|
d3acf7b44b
[analyzer] print() JSONify: Constructing objects implementation
|
6 лет назад |
|
Csaba Dabis
|
74f2f79ab5
[analyzer] print() JSONify: Environment implementation
|
6 лет назад |
|
Artem Dergachev
|
d8b8672fab
[CFG] NFC: Remove implicit conversion from CFGTerminator to Stmt *.
|
6 лет назад |
 Eric Fiselier
|
c786ab0af6
Implement __builtin_LINE() et. al. to support source location capture.
|
6 лет назад |
|
Artem Dergachev
|
c7a7fdc9a3
Reapply "[analyzer] Introduce a simplified API for adding custom path notes."
|
6 лет назад |
|
Artem Dergachev
|
ae2b0cf4c8
[analyzer] Escape pointers stored into top-level parameters with destructors.
|
6 лет назад |
