reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
142 : Solver->mkBitvector(Value, Value.getBitWidth()),
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h274 Exp, Solver->mkBitvector(llvm::APSInt("1"), ToBitWidth), 275 Solver->mkBitvector(llvm::APSInt("0"), ToBitWidth)); 390 Solver->mkBitvector(NewRInt, NewRInt.getBitWidth()); 398 Solver->mkBitvector(NewLInt, NewLInt.getBitWidth()); 494 Solver->mkBitvector(llvm::APSInt("0"), Ctx.getTypeSize(Ty)), 511 Solver->mkBitvector(NewFromInt, NewFromInt.getBitWidth()); 526 Solver->mkBitvector(NewToInt, NewToInt.getBitWidth());