| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
| |
llvm-svn: 196510
|
|
|
|
|
|
|
|
|
| |
The idea is to eventually place all analyzer options under
"analyzer-config". In addition, this lays the ground for introduction of
a high-level analyzer mode option, which will influence the
default setting for IPAMode.
llvm-svn: 173385
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
...and /do/ strip CXXBaseObjectRegions when casting to a virtual base class.
This allows us to enforce the invariant that a CXXBaseObjectRegion can always
provide an offset for its base region if its base region has a known class
type, by only allowing virtual bases and direct non-virtual bases to form
CXXBaseObjectRegions.
This does mean some slight problems for our modeling of dynamic_cast, which
needs to be resolved by finding a path from the current region to the class
we're trying to cast to.
llvm-svn: 161797
|
|
|
|
|
|
|
|
| |
Previously we were using the static type of the base object to inline
methods, whether virtual or non-virtual. Now, we try to see if the base
object has a known type, and if so ask for its implementation of the method.
llvm-svn: 160094
|
|
|
|
| |
llvm-svn: 154543
|
|
|
|
|
|
|
|
| |
symbolic regions would help.
Thanks to Richard Smith.
llvm-svn: 154541
|
|
|
|
|
|
|
| |
Generate a sink when the dynamic_cast from a reference fails to
represent a thrown exception.
llvm-svn: 154438
|
|
Simulate the C++ dynamic_cast in the analyzer.
llvm-svn: 154434
|