reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h

  421     if (const SymbolData *SD = dyn_cast<SymbolData>(Sym)) {
  423         *RetTy = Sym->getType();
  425       return fromData(Solver, SD->getSymbolID(), Sym->getType(),
  426                       Ctx.getTypeSize(Sym->getType()));
  429     if (const SymbolCast *SC = dyn_cast<SymbolCast>(Sym)) {
  431         *RetTy = Sym->getType();
  442       return getCastExpr(Solver, Ctx, Exp, FromTy, Sym->getType());
  445     if (const BinarySymExpr *BSE = dyn_cast<BinarySymExpr>(Sym)) {