Searched refs:bindDefault (Results 1 – 4 of 4) sorted by relevance
320 State = State->bindDefault(loc::MemRegionVal(Target), ZeroVal); in VisitCXXConstructExpr()
125 ProgramStateRef ProgramState::bindDefault(SVal loc, SVal V) const { in bindDefault() function in ProgramState
238 ProgramStateRef bindDefault(SVal loc, SVal V) const;
1103 State = State->bindDefault(RetVal, Init); in MallocMemAux()