Lines Matching refs:Sym
65 SymbolRef Sym = Call.getArgSVal(0).getAsSymbol(); in handleInteresting() local
66 assert(Sym); in handleInteresting()
67 C.addTransition(nullptr, C.getNoteTag([Sym](PathSensitiveBugReport &BR) { in handleInteresting()
68 BR.markInteresting(Sym); in handleInteresting()
75 SymbolRef Sym = Call.getArgSVal(0).getAsSymbol(); in handleNotInteresting() local
76 assert(Sym); in handleNotInteresting()
77 C.addTransition(nullptr, C.getNoteTag([Sym](PathSensitiveBugReport &BR) { in handleNotInteresting()
78 BR.markNotInteresting(Sym); in handleNotInteresting()
85 SymbolRef Sym = Call.getArgSVal(0).getAsSymbol(); in handleCheck() local
86 assert(Sym); in handleCheck()
87 C.addTransition(nullptr, C.getNoteTag([Sym](PathSensitiveBugReport &BR) { in handleCheck()
88 if (BR.isInteresting(Sym)) in handleCheck()