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

References

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

  170       if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) {
  173       } else if (const IntSymExpr *ISE = dyn_cast<IntSymExpr>(BSE)) {
  176       } else if (const SymSymExpr *SSM = dyn_cast<SymSymExpr>(BSE)) {
  193       return BVF.evalAPSInt(BSE->getOpcode(), ConvertedLHS, ConvertedRHS);