reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
318 C); 322 SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol(); 324 reportBug("Not a symbol", C); 330 reportBug("Not a string literal", C); 334 ProgramStateRef State = C.getState(); 336 C.addTransition(C.getState()->set<DenotedSymbols>(Sym, E)); 336 C.addTransition(C.getState()->set<DenotedSymbols>(Sym, E));