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

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h
  135       if (!Solver->getInterpretation(Exp, Value))
  141           Ty->isBooleanType() ? Solver->mkBoolean(Value.getBoolValue())
  142                               : Solver->mkBitvector(Value, Value.getBitWidth()),
  142                               : Solver->mkBitvector(Value, Value.getBitWidth()),
  152       return &BVF.getValue(Value);