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

  278       if (ToBitWidth > FromBitWidth)
  280                    ? Solver->mkBVSignExt(ToBitWidth - FromBitWidth, Exp)
  281                    : Solver->mkBVZeroExt(ToBitWidth - FromBitWidth, Exp);
  283       if (ToBitWidth < FromBitWidth)
  291       if (ToBitWidth != FromBitWidth)