OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:getBasicVals
(Results
1 - 8
of
8
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp
100
BasicValueFactory &BVF =
getBasicVals
();
169
const llvm::APSInt &Zero =
getBasicVals
().getValue(0, DiffTy);
254
BasicValueFactory &BVF =
getBasicVals
();
308
BasicValueFactory &BVF =
getBasicVals
();
RangeConstraintManager.cpp
385
BasicValueFactory &BV =
getBasicVals
();
422
BasicValueFactory &BV =
getBasicVals
();
465
RangeSet New = GetRange(St, Sym).Intersect(
getBasicVals
(), F, Upper, Lower);
480
RangeSet New = GetRange(St, Sym).Intersect(
getBasicVals
(), F, AdjInt, AdjInt);
509
return GetRange(St, Sym).Intersect(
getBasicVals
(), F, Lower, Upper);
545
return GetRange(St, Sym).Intersect(
getBasicVals
(), F, Lower, Upper);
581
return GetRange(St, Sym).Intersect(
getBasicVals
(), F, Lower, Upper);
617
return RS.Intersect(
getBasicVals
(), F, Lower, Upper);
645
return GetRange(St, Sym).Intersect(
getBasicVals
(), F, Lower, Upper);
SimpleConstraintManager.h
103
BasicValueFactory &
getBasicVals
() const { return SVB.getBasicValueFactory(); }
ExprEngineC.cpp
634
llvm::ImmutableList<SVal> vals =
getBasicVals
().getEmptySValList();
647
vals =
getBasicVals
().consVals(V, vals);
[
all
...]
ProgramState.cpp
277
const llvm::APSInt &NewV =
getBasicVals
().Convert(T, *Int);
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h
146
BasicValueFactory &
getBasicVals
() const;
491
BasicValueFactory &
getBasicVals
() {
756
inline BasicValueFactory &ProgramState::
getBasicVals
() const {
757
return getStateManager().
getBasicVals
();
ExprEngine.h
314
BasicValueFactory&
getBasicVals
() {
315
return StateMgr.
getBasicVals
();
SymbolManager.h
471
BasicValueFactory &
getBasicVals
() { return BV; }
Completed in 251 milliseconds