 Rui Ueyama
|
ce7674d7be
Fix parameter name comments using clang-tidy. NFC.
|
6 лет назад |
 David Stenberg
|
41721e3ad5
[analyzer] Handle comparison between non-default AS symbol and constant
|
6 лет назад |
 Chandler Carruth
|
324f918438
Update the file headers across all of the LLVM projects in the monorepo
|
6 лет назад |
 Gabor Horvath
|
b1e9e90f5d
[analyzer] Assume that we always have a SubEngine available
|
6 лет назад |
 Kristof Umann
|
d1b208c30b
[analyzer] Evaluate all non-checker config options before analysis
|
6 лет назад |
 Adam Balogh
|
1fe45f9347
lyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation-simplification` enabled
|
6 лет назад |
 Reid Kleckner
|
1168491f34
Fix clang -Wimplicit-fallthrough warnings across llvm, NFC
|
6 лет назад |
 George Karpenkov
|
ee49cd21c4
[analyzer] Resolve the crash in ReturnUndefChecker
|
7 лет назад |
|
George Karpenkov
|
d2d7786ce5
[analyzer] [NFC] Remove unused "state" argument from makeSymExprValNN
|
7 лет назад |
 Artem Dergachev
|
4ffae954f7
[analyzer] Reuse some code in simplifySVal().
|
7 лет назад |
|
Artem Dergachev
|
ecc772cf03
[analyzer] Don't try to simplify mixed Loc/NonLoc expressions.
|
7 лет назад |
 Fangrui Song
|
abdbb605f2
Remove trailing space
|
7 лет назад |
|
Adam Balogh
|
102621ddc9
[Analyzer] Quick Fix for exponential execution time when simpilifying complex additive expressions
|
7 лет назад |
|
Artem Dergachev
|
bf89e7dc6e
[analyzer] pr37802: Fix symbolic-pointer-to-boolean casts during load.
|
7 лет назад |
|
Artem Dergachev
|
7ba8004975
[analyzer] Assert that nonloc::SymbolVal always wraps a non-Loc-type symbol.
|
7 лет назад |
|
Artem Dergachev
|
5a653690cd
[analyzer] Improve performance of the SVal simplification mechanism further.
|
7 лет назад |
|
Artem Dergachev
|
0fac2de7f6
[analyzer] Improve performance of the SVal simplification mechanism.
|
7 лет назад |
|
Adam Balogh
|
b11c48d176
[Analyzer] Fix for SValBuilder expressions rearrangement
|
7 лет назад |
|
Adam Balogh
|
44fcdc119f
[Analyzer] SValBuilder Comparison Rearrangement (with Restrictions and Analyzer Option)
|
7 лет назад |
|
Artem Dergachev
|
6d36e99d4e
[analyzer] NFC: Forbid array elements of void type.
|
7 лет назад |
 Richard Smith
|
96881be75c
[c++20] P0515R3: Parsing support and basic AST construction for operator <=>.
|
7 лет назад |
|
Gabor Horvath
|
f8ba2666e1
[analyzer] Implement pointer arithmetic on constants
|
7 лет назад |
 Alexander Shaposhnikov
|
31d5daeb5c
[analyzer] Fix crash on modeling of pointer arithmetic
|
8 лет назад |
|
Rui Ueyama
|
44a7b6b871
Remove trailing space.
|
8 лет назад |
|
Alexander Shaposhnikov
|
b2950aaf27
[analyzer] Fix crash in modeling arithmetic
|
8 лет назад |
|
Alexander Shaposhnikov
|
a8baf2e020
[analyzer] Fix SimpleSValBuilder::simplifySVal
|
8 лет назад |
 Dominic Chen
|
f3ab09d9a0
Revert "[analyzer] Support generating and reasoning over more symbolic constraint types"
|
8 лет назад |
|
Dominic Chen
|
e469ff2759
[analyzer] Support generating and reasoning over more symbolic constraint types
|
8 лет назад |
|
Alexander Shaposhnikov
|
f8c5c0d52f
[analyzer] Start fixing modeling of bool based types
|
8 лет назад |
 Galina Kistanova
|
5775ec4f8a
Added LLVM_FALLTHROUGH to address warning: this statement may fall through. NFC.
|
8 лет назад |
