OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:FieldRegion
(Results
1 - 6
of
6
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
MemRegion.cpp
196
DefinedOrUnknownSVal
FieldRegion
::getExtent(SValBuilder &svalBuilder) const {
485
void
FieldRegion
::dumpToStream(raw_ostream &os) const {
545
void
FieldRegion
::dumpPretty(raw_ostream &os) const {
803
const
FieldRegion
*
806
return getSubRegion<
FieldRegion
>(d, superRegion);
1010
const
FieldRegion
*FR = cast<
FieldRegion
>(R);
[
all
...]
SimpleSValBuilder.cpp
737
// ElementRegion path and the
FieldRegion
path below should be unified.
809
if (const
FieldRegion
*LeftFR = dyn_cast<
FieldRegion
>(LeftMR)) {
814
// First see if the right region is also a
FieldRegion
.
815
const
FieldRegion
*RightFR = dyn_cast<
FieldRegion
>(RightMR);
[
all
...]
RegionStore.cpp
347
SVal getBindingForField(Store store, const
FieldRegion
*R);
[
all
...]
ExprEngineCallAndReturn.cpp
352
if (isa<VarRegion>(superReg) || isa<
FieldRegion
>(superReg) ||
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
MemRegion.h
855
class
FieldRegion
: public DeclRegion {
858
FieldRegion
(const FieldDecl *fd, const MemRegion* sReg)
[
all
...]
/external/clang/lib/StaticAnalyzer/Checkers/
CallAndMessageChecker.cpp
147
const
FieldRegion
*FR = MrMgr.getFieldRegion(*I, R);
Completed in 546 milliseconds