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

  386           getSymExpr(Solver, Ctx, SIE->getLHS(), &LTy, hasComparison);
  388       std::tie(NewRInt, RTy) = fixAPSInt(Ctx, SIE->getRHS());
  391       return getBinExpr(Solver, Ctx, LHS, LTy, Op, RHS, RTy, RetTy);
  396       std::tie(NewLInt, LTy) = fixAPSInt(Ctx, ISE->getLHS());
  400           getSymExpr(Solver, Ctx, ISE->getRHS(), &RTy, hasComparison);
  401       return getBinExpr(Solver, Ctx, LHS, LTy, Op, RHS, RTy, RetTy);
  406           getSymExpr(Solver, Ctx, SSM->getLHS(), &LTy, hasComparison);
  408           getSymExpr(Solver, Ctx, SSM->getRHS(), &RTy, hasComparison);
  409       return getBinExpr(Solver, Ctx, LHS, LTy, Op, RHS, RTy, RetTy);