Home
last modified time | relevance | path

Searched refs:setRefBinding (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DRetainCountChecker.cpp368 static inline ProgramStateRef setRefBinding(ProgramStateRef State, in setRefBinding() function
2780 state = setRefBinding(state, sym, in processObjCLiterals()
2807 State = setRefBinding(State, Sym, in checkPostStmt()
2859 C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess())); in checkPostStmt()
2867 C.addTransition(setRefBinding(State, Sym, PlusZero)); in checkPostStmt()
2871 State = setRefBinding(State, Sym, PlusZero.withIvarAccess()); in checkPostStmt()
3032 state = setRefBinding(state, Sym, RefVal::makeOwned(RE.getObjKind(), in checkSummary()
3049 state = setRefBinding(state, Sym, RefVal::makeNotOwned(RE.getObjKind(), in checkSummary()
3108 return setRefBinding(state, sym, V); in updateSymbol()
3133 return setRefBinding(state, sym, V); in updateSymbol()
[all …]