| /external/clang/lib/StaticAnalyzer/Checkers/ |
| BoolAssignmentChecker.cpp | 86 svalBuilder.evalBinOp(state, BO_GE, *DV, zeroVal,
122 svalBuilder.evalBinOp(state, BO_LE, *DV, OneVal,
|
| VLASizeChecker.cpp | 139 SVal LessThanZeroVal = svalBuilder.evalBinOp(state, BO_LT, sizeD, Zero, Ty);
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| SVals.cpp | 195 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder,
221 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals,
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 487 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
492 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
498 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op,
500 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
| SVals.h | 350 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
543 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
|
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 501 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
506 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
512 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op,
514 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
| SVals.h | 351 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
589 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
|
| /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 501 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
506 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
512 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op,
514 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
| SVals.h | 361 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
602 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
|
| /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 501 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
506 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
512 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op,
514 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
| SVals.h | 361 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
602 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
|
| /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 503 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
508 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
514 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op,
516 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
| SVals.h | 361 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
602 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
|
| /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 503 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
508 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
514 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op,
516 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
| SVals.h | 361 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
602 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
|
| /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 503 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
508 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
514 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op,
516 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
| SVals.h | 361 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op,
602 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
|
| /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 503 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
508 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
514 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op,
516 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 501 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
506 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
512 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op,
514 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
| /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 501 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
506 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
512 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op,
514 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
| /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 501 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
506 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
512 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op,
514 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
| /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 503 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
508 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
514 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op,
516 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
| /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 503 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
508 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
514 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op,
516 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
| /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 503 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
508 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
514 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op,
516 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
| /prebuilts/clang/host/linux-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 503 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
508 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
514 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op,
516 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
