| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/mlir/lib/Dialect/SDBM/ |
| H A D | SDBMExpr.cpp | 155 visit(expr.getLHS()); in print()
160 visit(expr.getLHS()); in print()
167 SDBMDirectExpr lhs = expr.getLHS(); in print()
225 sum.getLHS()); in visitDiff()
242 lhs = lhsSum.getLHS(); in get()
252 SDBMTermExpr SDBMSumExpr::getLHS() const { in getLHS() function in SDBMSumExpr
268 AffineExpr lhs = visit(expr.getLHS()), in getAsAffineExpr()
319 return builder(sumExpr.getLHS()); in addConstantAndSink()
539 SDBMDirectExpr SDBMDiffExpr::getLHS() const { in getLHS() function in SDBMDiffExpr
553 return sum.getLHS(); in getTerm()
[all …]
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/mlir/lib/Dialect/SDBM/ |
| H A D | SDBMExpr.cpp | 155 visit(expr.getLHS()); in print()
160 visit(expr.getLHS()); in print()
167 SDBMDirectExpr lhs = expr.getLHS(); in print()
225 sum.getLHS()); in visitDiff()
242 lhs = lhsSum.getLHS(); in get()
252 SDBMTermExpr SDBMSumExpr::getLHS() const { in getLHS() function in SDBMSumExpr
268 AffineExpr lhs = visit(expr.getLHS()), in getAsAffineExpr()
319 return builder(sumExpr.getLHS()); in addConstantAndSink()
538 SDBMDirectExpr SDBMDiffExpr::getLHS() const { in getLHS() function in SDBMDiffExpr
552 return sum.getLHS(); in getTerm()
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/mlir/lib/Dialect/SDBM/ |
| H A D | SDBMExpr.cpp | 155 visit(expr.getLHS()); in print()
160 visit(expr.getLHS()); in print()
167 SDBMDirectExpr lhs = expr.getLHS(); in print()
225 sum.getLHS()); in visitDiff()
242 lhs = lhsSum.getLHS(); in get()
252 SDBMTermExpr SDBMSumExpr::getLHS() const { in getLHS() function in SDBMSumExpr
268 AffineExpr lhs = visit(expr.getLHS()), in getAsAffineExpr()
319 return builder(sumExpr.getLHS()); in addConstantAndSink()
538 SDBMDirectExpr SDBMDiffExpr::getLHS() const { in getLHS() function in SDBMDiffExpr
552 return sum.getLHS(); in getTerm()
[all …]
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/mlir/lib/Dialect/SDBM/ |
| H A D | SDBMExpr.cpp | 155 visit(expr.getLHS()); in print()
160 visit(expr.getLHS()); in print()
167 SDBMDirectExpr lhs = expr.getLHS(); in print()
225 sum.getLHS()); in visitDiff()
242 lhs = lhsSum.getLHS(); in get()
252 SDBMTermExpr SDBMSumExpr::getLHS() const { in getLHS() function in SDBMSumExpr
268 AffineExpr lhs = visit(expr.getLHS()), in getAsAffineExpr()
319 return builder(sumExpr.getLHS()); in addConstantAndSink()
539 SDBMDirectExpr SDBMDiffExpr::getLHS() const { in getLHS() function in SDBMDiffExpr
553 return sum.getLHS(); in getTerm()
[all …]
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/mlir/lib/Dialect/SDBM/ |
| H A D | SDBMExpr.cpp | 155 visit(expr.getLHS()); in print()
160 visit(expr.getLHS()); in print()
167 SDBMDirectExpr lhs = expr.getLHS(); in print()
225 sum.getLHS()); in visitDiff()
242 lhs = lhsSum.getLHS(); in get()
252 SDBMTermExpr SDBMSumExpr::getLHS() const { in getLHS() function in SDBMSumExpr
268 AffineExpr lhs = visit(expr.getLHS()), in getAsAffineExpr()
319 return builder(sumExpr.getLHS()); in addConstantAndSink()
538 SDBMDirectExpr SDBMDiffExpr::getLHS() const { in getLHS() function in SDBMDiffExpr
552 return sum.getLHS(); in getTerm()
[all …]
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/mlir/lib/IR/ |
| H A D | AffineExpr.cpp | 85 auto lhs = binOp.getLHS(), rhs = binOp.getRHS(); in replaceDimsAndSymbols()
176 return expr.getLHS().isSymbolicOrConstant() && in isSymbolicOrConstant()
208 return op.getLHS().isPureAffine() && in isPureAffine()
302 AffineExpr AffineBinaryOpExpr::getLHS() const { in getLHS() function in AffineBinaryOpExpr
416 return binaryExpr.getLHS() * in symbolicDivide()
563 firstExpr = lBinOpExpr.getLHS(); in simplifyAdd()
574 secondExpr = rBinOpExpr.getLHS(); in simplifyAdd()
590 return lBin.getLHS() + rhs + lrhs; in simplifyAdd()
602 auto lrhs = rBinOpExpr.getLHS(); in simplifyAdd()
610 auto llrhs = lrBinOpExpr.getLHS(); in simplifyAdd()
[all …]
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/mlir/lib/IR/ |
| H A D | AffineExpr.cpp | 85 auto lhs = binOp.getLHS(), rhs = binOp.getRHS(); in replaceDimsAndSymbols()
160 return expr.getLHS().isSymbolicOrConstant() && in isSymbolicOrConstant()
192 return op.getLHS().isPureAffine() && in isPureAffine()
286 AffineExpr AffineBinaryOpExpr::getLHS() const { in getLHS() function in AffineBinaryOpExpr
400 return binaryExpr.getLHS() * in symbolicDivide()
547 firstExpr = lBinOpExpr.getLHS(); in simplifyAdd()
558 secondExpr = rBinOpExpr.getLHS(); in simplifyAdd()
574 return lBin.getLHS() + rhs + lrhs; in simplifyAdd()
586 auto lrhs = rBinOpExpr.getLHS(); in simplifyAdd()
594 auto llrhs = lrBinOpExpr.getLHS(); in simplifyAdd()
[all …]
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/mlir/lib/IR/ |
| H A D | AffineExpr.cpp | 85 auto lhs = binOp.getLHS(), rhs = binOp.getRHS(); in replaceDimsAndSymbols()
169 return expr.getLHS().isSymbolicOrConstant() && in isSymbolicOrConstant()
201 return op.getLHS().isPureAffine() && in isPureAffine()
295 AffineExpr AffineBinaryOpExpr::getLHS() const { in getLHS() function in AffineBinaryOpExpr
409 return binaryExpr.getLHS() * in symbolicDivide()
556 firstExpr = lBinOpExpr.getLHS(); in simplifyAdd()
567 secondExpr = rBinOpExpr.getLHS(); in simplifyAdd()
583 return lBin.getLHS() + rhs + lrhs; in simplifyAdd()
595 auto lrhs = rBinOpExpr.getLHS(); in simplifyAdd()
603 auto llrhs = lrBinOpExpr.getLHS(); in simplifyAdd()
[all …]
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/mlir/lib/IR/ |
| H A D | AffineExpr.cpp | 85 auto lhs = binOp.getLHS(), rhs = binOp.getRHS(); in replaceDimsAndSymbols()
169 return expr.getLHS().isSymbolicOrConstant() && in isSymbolicOrConstant()
201 return op.getLHS().isPureAffine() && in isPureAffine()
295 AffineExpr AffineBinaryOpExpr::getLHS() const { in getLHS() function in AffineBinaryOpExpr
409 return binaryExpr.getLHS() * in symbolicDivide()
556 firstExpr = lBinOpExpr.getLHS(); in simplifyAdd()
567 secondExpr = rBinOpExpr.getLHS(); in simplifyAdd()
583 return lBin.getLHS() + rhs + lrhs; in simplifyAdd()
595 auto lrhs = rBinOpExpr.getLHS(); in simplifyAdd()
603 auto llrhs = lrBinOpExpr.getLHS(); in simplifyAdd()
[all …]
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/mlir/lib/IR/ |
| H A D | AffineExpr.cpp | 85 auto lhs = binOp.getLHS(), rhs = binOp.getRHS(); in replaceDimsAndSymbols()
160 return expr.getLHS().isSymbolicOrConstant() && in isSymbolicOrConstant()
192 return op.getLHS().isPureAffine() && in isPureAffine()
286 AffineExpr AffineBinaryOpExpr::getLHS() const { in getLHS() function in AffineBinaryOpExpr
400 return binaryExpr.getLHS() * in symbolicDivide()
547 firstExpr = lBinOpExpr.getLHS(); in simplifyAdd()
558 secondExpr = rBinOpExpr.getLHS(); in simplifyAdd()
574 return lBin.getLHS() + rhs + lrhs; in simplifyAdd()
586 auto lrhs = rBinOpExpr.getLHS(); in simplifyAdd()
594 auto llrhs = lrBinOpExpr.getLHS(); in simplifyAdd()
[all …]
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/mlir/lib/IR/ |
| H A D | AffineExpr.cpp | 85 auto lhs = binOp.getLHS(), rhs = binOp.getRHS(); in replaceDimsAndSymbols()
169 return expr.getLHS().isSymbolicOrConstant() && in isSymbolicOrConstant()
201 return op.getLHS().isPureAffine() && in isPureAffine()
295 AffineExpr AffineBinaryOpExpr::getLHS() const { in getLHS() function in AffineBinaryOpExpr
409 return binaryExpr.getLHS() * in symbolicDivide()
556 firstExpr = lBinOpExpr.getLHS(); in simplifyAdd()
567 secondExpr = rBinOpExpr.getLHS(); in simplifyAdd()
583 return lBin.getLHS() + rhs + lrhs; in simplifyAdd()
595 auto lrhs = rBinOpExpr.getLHS(); in simplifyAdd()
603 auto llrhs = lrBinOpExpr.getLHS(); in simplifyAdd()
[all …]
|
| /dports/editors/libreoffice/libreoffice-7.2.6.2/compilerplugins/clang/ |
| H A D | simplifybool.cxx | 396 auto v1 = getValue(expr->getLHS()); in visitBinLT()
409 << expr->getLHS()->IgnoreImpCasts()->getType() in visitBinLT()
513 auto v1 = getValue(expr->getLHS()); in visitBinGT()
527 << expr->getLHS()->IgnoreImpCasts()->getType() in visitBinGT()
537 << expr->getLHS()->IgnoreImpCasts()->getType() in visitBinGT()
631 auto v1 = getValue(expr->getLHS()); in visitBinLE()
672 << expr->getLHS()->IgnoreImpCasts()->getType() in visitBinLE()
750 auto v1 = getValue(expr->getLHS()); in visitBinGE()
763 << expr->getLHS()->IgnoreImpCasts()->getType() in visitBinGE()
869 auto v1 = getValue(expr->getLHS()); in visitBinEQ()
[all …]
|
| /dports/editors/libreoffice6/libreoffice-6.4.7.2/compilerplugins/clang/ |
| H A D | simplifybool.cxx | 303 auto lhs = containsNegation(binaryOp->getLHS()); in VisitUnaryLNot()
367 auto v1 = getValue(expr->getLHS()); in VisitBinLT()
380 << expr->getLHS()->IgnoreImpCasts()->getType() in VisitBinLT()
484 auto v1 = getValue(expr->getLHS()); in VisitBinGT()
498 << expr->getLHS()->IgnoreImpCasts()->getType() in VisitBinGT()
508 << expr->getLHS()->IgnoreImpCasts()->getType() in VisitBinGT()
602 auto v1 = getValue(expr->getLHS()); in VisitBinLE()
643 << expr->getLHS()->IgnoreImpCasts()->getType() in VisitBinLE()
721 auto v1 = getValue(expr->getLHS()); in VisitBinGE()
840 auto v1 = getValue(expr->getLHS()); in VisitBinEQ()
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/mlir/lib/IR/ |
| H A D | AffineExpr.cpp | 151 return expr.getLHS().isSymbolicOrConstant() && in isSymbolicOrConstant()
183 return op.getLHS().isPureAffine() && in isPureAffine()
212 binExpr.getLHS().getLargestKnownDivisor(), in getLargestKnownDivisor()
266 AffineExpr AffineBinaryOpExpr::getLHS() const { in getLHS() function in AffineBinaryOpExpr
380 return binaryExpr.getLHS() * in symbolicDivide()
527 firstExpr = lBinOpExpr.getLHS(); in simplifyAdd()
538 secondExpr = rBinOpExpr.getLHS(); in simplifyAdd()
554 return lBin.getLHS() + rhs + lrhs; in simplifyAdd()
566 auto lrhs = rBinOpExpr.getLHS(); in simplifyAdd()
574 auto llrhs = lrBinOpExpr.getLHS(); in simplifyAdd()
[all …]
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UndefResultChecker.cpp | 63 B->getRHS(), C.getASTContext().getIntWidth(B->getLHS()->getType())); in isShiftOverflow()
70 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS())); in isLeftShiftResultUnrepresentable()
102 if (C.getSVal(B->getLHS()).isUndef()) { in checkPostStmt()
103 Ex = B->getLHS()->IgnoreParenCasts(); in checkPostStmt()
148 << B->getLHS()->getType().getAsString() << "'."; in checkPostStmt()
150 C.isNegative(B->getLHS())) { in checkPostStmt()
153 Ex = B->getLHS(); in checkPostStmt()
159 SB.getKnownValue(State, C.getSVal(B->getLHS())); in checkPostStmt()
165 << "the return type \'" << B->getLHS()->getType().getAsString() in checkPostStmt()
167 Ex = B->getLHS(); in checkPostStmt()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UndefResultChecker.cpp | 63 B->getRHS(), C.getASTContext().getIntWidth(B->getLHS()->getType())); in isShiftOverflow()
70 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS())); in isLeftShiftResultUnrepresentable()
102 if (C.getSVal(B->getLHS()).isUndef()) { in checkPostStmt()
103 Ex = B->getLHS()->IgnoreParenCasts(); in checkPostStmt()
148 << B->getLHS()->getType().getAsString() << "'."; in checkPostStmt()
150 C.isNegative(B->getLHS())) { in checkPostStmt()
153 Ex = B->getLHS(); in checkPostStmt()
159 SB.getKnownValue(State, C.getSVal(B->getLHS())); in checkPostStmt()
165 << "the return type \'" << B->getLHS()->getType().getAsString() in checkPostStmt()
167 Ex = B->getLHS(); in checkPostStmt()
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UndefResultChecker.cpp | 62 B->getRHS(), C.getASTContext().getIntWidth(B->getLHS()->getType())); in isShiftOverflow()
69 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS())); in isLeftShiftResultUnrepresentable()
101 if (C.getSVal(B->getLHS()).isUndef()) { in checkPostStmt()
102 Ex = B->getLHS()->IgnoreParenCasts(); in checkPostStmt()
147 << B->getLHS()->getType().getAsString() << "'."; in checkPostStmt()
149 C.isNegative(B->getLHS())) { in checkPostStmt()
152 Ex = B->getLHS(); in checkPostStmt()
158 SB.getKnownValue(State, C.getSVal(B->getLHS())); in checkPostStmt()
164 << "the return type \'" << B->getLHS()->getType().getAsString() in checkPostStmt()
166 Ex = B->getLHS(); in checkPostStmt()
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UndefResultChecker.cpp | 63 B->getRHS(), C.getASTContext().getIntWidth(B->getLHS()->getType())); in isShiftOverflow()
70 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS())); in isLeftShiftResultUnrepresentable()
102 if (C.getSVal(B->getLHS()).isUndef()) { in checkPostStmt()
103 Ex = B->getLHS()->IgnoreParenCasts(); in checkPostStmt()
148 << B->getLHS()->getType().getAsString() << "'."; in checkPostStmt()
150 C.isNegative(B->getLHS())) { in checkPostStmt()
153 Ex = B->getLHS(); in checkPostStmt()
159 SB.getKnownValue(State, C.getSVal(B->getLHS())); in checkPostStmt()
165 << "the return type \'" << B->getLHS()->getType().getAsString() in checkPostStmt()
167 Ex = B->getLHS(); in checkPostStmt()
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UndefResultChecker.cpp | 63 B->getRHS(), C.getASTContext().getIntWidth(B->getLHS()->getType())); in isShiftOverflow()
70 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS())); in isLeftShiftResultUnrepresentable()
102 if (C.getSVal(B->getLHS()).isUndef()) { in checkPostStmt()
103 Ex = B->getLHS()->IgnoreParenCasts(); in checkPostStmt()
148 << B->getLHS()->getType().getAsString() << "'."; in checkPostStmt()
150 C.isNegative(B->getLHS())) { in checkPostStmt()
153 Ex = B->getLHS(); in checkPostStmt()
159 SB.getKnownValue(State, C.getSVal(B->getLHS())); in checkPostStmt()
165 << "the return type \'" << B->getLHS()->getType().getAsString() in checkPostStmt()
167 Ex = B->getLHS(); in checkPostStmt()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UndefResultChecker.cpp | 63 B->getRHS(), C.getASTContext().getIntWidth(B->getLHS()->getType())); in isShiftOverflow()
70 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS())); in isLeftShiftResultUnrepresentable()
102 if (C.getSVal(B->getLHS()).isUndef()) { in checkPostStmt()
103 Ex = B->getLHS()->IgnoreParenCasts(); in checkPostStmt()
148 << B->getLHS()->getType().getAsString() << "'."; in checkPostStmt()
150 C.isNegative(B->getLHS())) { in checkPostStmt()
153 Ex = B->getLHS(); in checkPostStmt()
159 SB.getKnownValue(State, C.getSVal(B->getLHS())); in checkPostStmt()
165 << "the return type \'" << B->getLHS()->getType().getAsString() in checkPostStmt()
167 Ex = B->getLHS(); in checkPostStmt()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UndefResultChecker.cpp | 63 B->getRHS(), C.getASTContext().getIntWidth(B->getLHS()->getType())); in isShiftOverflow()
70 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS())); in isLeftShiftResultUnrepresentable()
102 if (C.getSVal(B->getLHS()).isUndef()) { in checkPostStmt()
103 Ex = B->getLHS()->IgnoreParenCasts(); in checkPostStmt()
148 << B->getLHS()->getType().getAsString() << "'."; in checkPostStmt()
150 C.isNegative(B->getLHS())) { in checkPostStmt()
153 Ex = B->getLHS(); in checkPostStmt()
159 SB.getKnownValue(State, C.getSVal(B->getLHS())); in checkPostStmt()
165 << "the return type \'" << B->getLHS()->getType().getAsString() in checkPostStmt()
167 Ex = B->getLHS(); in checkPostStmt()
|
| /dports/devel/llvm10/llvm-10.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UndefResultChecker.cpp | 62 B->getRHS(), C.getASTContext().getIntWidth(B->getLHS()->getType())); in isShiftOverflow()
69 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS())); in isLeftShiftResultUnrepresentable()
101 if (C.getSVal(B->getLHS()).isUndef()) { in checkPostStmt()
102 Ex = B->getLHS()->IgnoreParenCasts(); in checkPostStmt()
147 << B->getLHS()->getType().getAsString() << "'."; in checkPostStmt()
149 C.isNegative(B->getLHS())) { in checkPostStmt()
152 Ex = B->getLHS(); in checkPostStmt()
158 SB.getKnownValue(State, C.getSVal(B->getLHS())); in checkPostStmt()
164 << "the return type \'" << B->getLHS()->getType().getAsString() in checkPostStmt()
166 Ex = B->getLHS(); in checkPostStmt()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UndefResultChecker.cpp | 63 B->getRHS(), C.getASTContext().getIntWidth(B->getLHS()->getType())); in isShiftOverflow()
70 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS())); in isLeftShiftResultUnrepresentable()
102 if (C.getSVal(B->getLHS()).isUndef()) { in checkPostStmt()
103 Ex = B->getLHS()->IgnoreParenCasts(); in checkPostStmt()
148 << B->getLHS()->getType().getAsString() << "'."; in checkPostStmt()
150 C.isNegative(B->getLHS())) { in checkPostStmt()
153 Ex = B->getLHS(); in checkPostStmt()
159 SB.getKnownValue(State, C.getSVal(B->getLHS())); in checkPostStmt()
165 << "the return type \'" << B->getLHS()->getType().getAsString() in checkPostStmt()
167 Ex = B->getLHS(); in checkPostStmt()
|
| /dports/devel/llvm90/llvm-9.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UndefResultChecker.cpp | 62 B->getRHS(), C.getASTContext().getIntWidth(B->getLHS()->getType())); in isShiftOverflow()
69 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS())); in isLeftShiftResultUnrepresentable()
101 if (C.getSVal(B->getLHS()).isUndef()) { in checkPostStmt()
102 Ex = B->getLHS()->IgnoreParenCasts(); in checkPostStmt()
147 << B->getLHS()->getType().getAsString() << "'."; in checkPostStmt()
149 C.isNegative(B->getLHS())) { in checkPostStmt()
152 Ex = B->getLHS(); in checkPostStmt()
158 SB.getKnownValue(State, C.getSVal(B->getLHS())); in checkPostStmt()
164 << "the return type \'" << B->getLHS()->getType().getAsString() in checkPostStmt()
166 Ex = B->getLHS(); in checkPostStmt()
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | UndefResultChecker.cpp | 63 B->getRHS(), C.getASTContext().getIntWidth(B->getLHS()->getType())); in isShiftOverflow()
70 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS())); in isLeftShiftResultUnrepresentable()
102 if (C.getSVal(B->getLHS()).isUndef()) { in checkPostStmt()
103 Ex = B->getLHS()->IgnoreParenCasts(); in checkPostStmt()
148 << B->getLHS()->getType().getAsString() << "'."; in checkPostStmt()
150 C.isNegative(B->getLHS())) { in checkPostStmt()
153 Ex = B->getLHS(); in checkPostStmt()
159 SB.getKnownValue(State, C.getSVal(B->getLHS())); in checkPostStmt()
165 << "the return type \'" << B->getLHS()->getType().getAsString() in checkPostStmt()
167 Ex = B->getLHS(); in checkPostStmt()
|