/dports/devel/llvm80/llvm-8.0.1.src/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SMTConv.h | 588 if (LTy->isNullPtrType() || LTy->isBlockPointerType() || in doTypeConversion() 618 LTy = RTy; in doTypeConversion() 644 LTy = NewTy; in doIntTypeConversion() 668 RTy = LTy; in doIntTypeConversion() 671 LTy = RTy; in doIntTypeConversion() 678 RTy = LTy; in doIntTypeConversion() 681 LTy = RTy; in doIntTypeConversion() 723 LTy = RTy; in doFloatTypeConversion() 728 RTy = LTy; in doFloatTypeConversion() 741 RTy = LTy; in doFloatTypeConversion() [all …]
|
H A D | SMTConstraintManager.h | 184 QualType LTy, RTy; in getSymVal() local 185 std::tie(ConvertedLHS, LTy) = SMTConv::fixAPSInt(Ctx, *LHS); in getSymVal() 188 Solver, Ctx, ConvertedLHS, LTy, ConvertedRHS, RTy); in getSymVal()
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SMTConv.h | 606 if (LTy->isNullPtrType() || LTy->isBlockPointerType() || in doTypeConversion() 636 LTy = RTy; in doTypeConversion() 661 LTy = NewTy; in doIntTypeConversion() 685 RTy = LTy; in doIntTypeConversion() 688 LTy = RTy; in doIntTypeConversion() 695 RTy = LTy; in doIntTypeConversion() 698 LTy = RTy; in doIntTypeConversion() 739 LTy = RTy; in doFloatTypeConversion() 744 RTy = LTy; in doFloatTypeConversion() 757 RTy = LTy; in doFloatTypeConversion() [all …]
|
H A D | SMTConstraintManager.h | 189 QualType LTy, RTy; in REGISTER_TRAIT_WITH_PROGRAMSTATE() local 190 std::tie(ConvertedLHS, LTy) = SMTConv::fixAPSInt(Ctx, *LHS); in REGISTER_TRAIT_WITH_PROGRAMSTATE() 193 Solver, Ctx, ConvertedLHS, LTy, ConvertedRHS, RTy); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
/dports/devel/llvm12/llvm-project-12.0.1.src/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SMTConv.h | 606 if (LTy->isNullPtrType() || LTy->isBlockPointerType() || in doTypeConversion() 636 LTy = RTy; in doTypeConversion() 661 LTy = NewTy; in doIntTypeConversion() 685 RTy = LTy; in doIntTypeConversion() 688 LTy = RTy; in doIntTypeConversion() 695 RTy = LTy; in doIntTypeConversion() 698 LTy = RTy; in doIntTypeConversion() 739 LTy = RTy; in doFloatTypeConversion() 744 RTy = LTy; in doFloatTypeConversion() 757 RTy = LTy; in doFloatTypeConversion() [all …]
|
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SMTConv.h | 602 if (LTy->isNullPtrType() || LTy->isBlockPointerType() || in doTypeConversion() 632 LTy = RTy; in doTypeConversion() 657 LTy = NewTy; in doIntTypeConversion() 681 RTy = LTy; in doIntTypeConversion() 684 LTy = RTy; in doIntTypeConversion() 691 RTy = LTy; in doIntTypeConversion() 694 LTy = RTy; in doIntTypeConversion() 735 LTy = RTy; in doFloatTypeConversion() 740 RTy = LTy; in doFloatTypeConversion() 753 RTy = LTy; in doFloatTypeConversion() [all …]
|
/dports/devel/llvm90/llvm-9.0.1.src/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SMTConv.h | 602 if (LTy->isNullPtrType() || LTy->isBlockPointerType() || in doTypeConversion() 632 LTy = RTy; in doTypeConversion() 657 LTy = NewTy; in doIntTypeConversion() 681 RTy = LTy; in doIntTypeConversion() 684 LTy = RTy; in doIntTypeConversion() 691 RTy = LTy; in doIntTypeConversion() 694 LTy = RTy; in doIntTypeConversion() 735 LTy = RTy; in doFloatTypeConversion() 740 RTy = LTy; in doFloatTypeConversion() 753 RTy = LTy; in doFloatTypeConversion() [all …]
|
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SMTConv.h | 602 if (LTy->isNullPtrType() || LTy->isBlockPointerType() || in doTypeConversion() 632 LTy = RTy; in doTypeConversion() 657 LTy = NewTy; in doIntTypeConversion() 681 RTy = LTy; in doIntTypeConversion() 684 LTy = RTy; in doIntTypeConversion() 691 RTy = LTy; in doIntTypeConversion() 694 LTy = RTy; in doIntTypeConversion() 735 LTy = RTy; in doFloatTypeConversion() 740 RTy = LTy; in doFloatTypeConversion() 753 RTy = LTy; in doFloatTypeConversion() [all …]
|
/dports/devel/llvm10/llvm-10.0.1.src/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SMTConv.h | 602 if (LTy->isNullPtrType() || LTy->isBlockPointerType() || in doTypeConversion() 632 LTy = RTy; in doTypeConversion() 657 LTy = NewTy; in doIntTypeConversion() 681 RTy = LTy; in doIntTypeConversion() 684 LTy = RTy; in doIntTypeConversion() 691 RTy = LTy; in doIntTypeConversion() 694 LTy = RTy; in doIntTypeConversion() 735 LTy = RTy; in doFloatTypeConversion() 740 RTy = LTy; in doFloatTypeConversion() 753 RTy = LTy; in doFloatTypeConversion() [all …]
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SMTConv.h | 606 if (LTy->isNullPtrType() || LTy->isBlockPointerType() || in doTypeConversion() 636 LTy = RTy; in doTypeConversion() 661 LTy = NewTy; in doIntTypeConversion() 685 RTy = LTy; in doIntTypeConversion() 688 LTy = RTy; in doIntTypeConversion() 695 RTy = LTy; in doIntTypeConversion() 698 LTy = RTy; in doIntTypeConversion() 739 LTy = RTy; in doFloatTypeConversion() 744 RTy = LTy; in doFloatTypeConversion() 757 RTy = LTy; in doFloatTypeConversion() [all …]
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SMTConv.h | 606 if (LTy->isNullPtrType() || LTy->isBlockPointerType() || in doTypeConversion() 636 LTy = RTy; in doTypeConversion() 661 LTy = NewTy; in doIntTypeConversion() 685 RTy = LTy; in doIntTypeConversion() 688 LTy = RTy; in doIntTypeConversion() 695 RTy = LTy; in doIntTypeConversion() 698 LTy = RTy; in doIntTypeConversion() 739 LTy = RTy; in doFloatTypeConversion() 744 RTy = LTy; in doFloatTypeConversion() 757 RTy = LTy; in doFloatTypeConversion() [all …]
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SMTConv.h | 606 if (LTy->isNullPtrType() || LTy->isBlockPointerType() || in doTypeConversion() 636 LTy = RTy; in doTypeConversion() 661 LTy = NewTy; in doIntTypeConversion() 685 RTy = LTy; in doIntTypeConversion() 688 LTy = RTy; in doIntTypeConversion() 695 RTy = LTy; in doIntTypeConversion() 698 LTy = RTy; in doIntTypeConversion() 739 LTy = RTy; in doFloatTypeConversion() 744 RTy = LTy; in doFloatTypeConversion() 757 RTy = LTy; in doFloatTypeConversion() [all …]
|
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SMTConv.h | 602 if (LTy->isNullPtrType() || LTy->isBlockPointerType() || in doTypeConversion() 632 LTy = RTy; in doTypeConversion() 657 LTy = NewTy; in doIntTypeConversion() 681 RTy = LTy; in doIntTypeConversion() 684 LTy = RTy; in doIntTypeConversion() 691 RTy = LTy; in doIntTypeConversion() 694 LTy = RTy; in doIntTypeConversion() 735 LTy = RTy; in doFloatTypeConversion() 740 RTy = LTy; in doFloatTypeConversion() 753 RTy = LTy; in doFloatTypeConversion() [all …]
|
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SMTConv.h | 606 if (LTy->isNullPtrType() || LTy->isBlockPointerType() || in doTypeConversion() 636 LTy = RTy; in doTypeConversion() 661 LTy = NewTy; in doIntTypeConversion() 685 RTy = LTy; in doIntTypeConversion() 688 LTy = RTy; in doIntTypeConversion() 695 RTy = LTy; in doIntTypeConversion() 698 LTy = RTy; in doIntTypeConversion() 739 LTy = RTy; in doFloatTypeConversion() 744 RTy = LTy; in doFloatTypeConversion() 757 RTy = LTy; in doFloatTypeConversion() [all …]
|
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SMTConv.h | 606 if (LTy->isNullPtrType() || LTy->isBlockPointerType() || in doTypeConversion() 636 LTy = RTy; in doTypeConversion() 661 LTy = NewTy; in doIntTypeConversion() 685 RTy = LTy; in doIntTypeConversion() 688 LTy = RTy; in doIntTypeConversion() 695 RTy = LTy; in doIntTypeConversion() 698 LTy = RTy; in doIntTypeConversion() 739 LTy = RTy; in doFloatTypeConversion() 744 RTy = LTy; in doFloatTypeConversion() 757 RTy = LTy; in doFloatTypeConversion() [all …]
|
/dports/devel/llvm13/llvm-project-13.0.1.src/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SMTConv.h | 606 if (LTy->isNullPtrType() || LTy->isBlockPointerType() || in doTypeConversion() 636 LTy = RTy; in doTypeConversion() 661 LTy = NewTy; in doIntTypeConversion() 685 RTy = LTy; in doIntTypeConversion() 688 LTy = RTy; in doIntTypeConversion() 695 RTy = LTy; in doIntTypeConversion() 698 LTy = RTy; in doIntTypeConversion() 739 LTy = RTy; in doFloatTypeConversion() 744 RTy = LTy; in doFloatTypeConversion() 757 RTy = LTy; in doFloatTypeConversion() [all …]
|
/dports/lang/clang-mesa/clang-13.0.1.src/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SMTConv.h | 606 if (LTy->isNullPtrType() || LTy->isBlockPointerType() || in doTypeConversion() 636 LTy = RTy; in doTypeConversion() 661 LTy = NewTy; in doIntTypeConversion() 685 RTy = LTy; in doIntTypeConversion() 688 LTy = RTy; in doIntTypeConversion() 695 RTy = LTy; in doIntTypeConversion() 698 LTy = RTy; in doIntTypeConversion() 739 LTy = RTy; in doFloatTypeConversion() 744 RTy = LTy; in doFloatTypeConversion() 757 RTy = LTy; in doFloatTypeConversion() [all …]
|
/dports/devel/llvm70/llvm-7.0.1.src/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SMTSolver.h | 573 if (LTy->isNullPtrType() || LTy->isBlockPointerType() || in doTypeConversion() 603 LTy = RTy; in doTypeConversion() 628 LTy = NewTy; in doIntTypeConversion() 652 RTy = LTy; in doIntTypeConversion() 655 LTy = RTy; in doIntTypeConversion() 662 RTy = LTy; in doIntTypeConversion() 665 LTy = RTy; in doIntTypeConversion() 706 LTy = RTy; in doFloatTypeConversion() 711 RTy = LTy; in doFloatTypeConversion() 724 RTy = LTy; in doFloatTypeConversion() [all …]
|
/dports/devel/llvm70/llvm-7.0.1.src/tools/clang/lib/StaticAnalyzer/Core/ |
H A D | SMTConstraintManager.cpp | 163 QualType LTy, RTy; in getSymVal() local 164 std::tie(ConvertedLHS, LTy) = Solver->fixAPSInt(Ctx, *LHS); in getSymVal() 167 Ctx, ConvertedLHS, LTy, ConvertedRHS, RTy); in getSymVal()
|
/dports/devel/llvm80/llvm-8.0.1.src/include/llvm/IR/ |
H A D | PatternMatch.h | 93 template <typename LTy, typename RTy> struct match_combine_or { 94 LTy L; 97 match_combine_or(const LTy &Left, const RTy &Right) : L(Left), R(Right) {} in match_combine_or() 108 template <typename LTy, typename RTy> struct match_combine_and { 109 LTy L; 123 template <typename LTy, typename RTy> 124 inline match_combine_or<LTy, RTy> m_CombineOr(const LTy &L, const RTy &R) { in m_CombineOr() 125 return match_combine_or<LTy, RTy>(L, R); in m_CombineOr() 129 template <typename LTy, typename RTy> 130 inline match_combine_and<LTy, RTy> m_CombineAnd(const LTy &L, const RTy &R) { in m_CombineAnd() [all …]
|
/dports/devel/llvm70/llvm-7.0.1.src/include/llvm/IR/ |
H A D | PatternMatch.h | 94 template <typename LTy, typename RTy> struct match_combine_or { 95 LTy L; 98 match_combine_or(const LTy &Left, const RTy &Right) : L(Left), R(Right) {} 109 template <typename LTy, typename RTy> struct match_combine_and { 110 LTy L; 124 template <typename LTy, typename RTy> 125 inline match_combine_or<LTy, RTy> m_CombineOr(const LTy &L, const RTy &R) { 126 return match_combine_or<LTy, RTy>(L, R); 130 template <typename LTy, typename RTy> 131 inline match_combine_and<LTy, RTy> m_CombineAnd(const LTy &L, const RTy &R) { [all …]
|
/dports/devel/llvm10/llvm-10.0.1.src/include/llvm/IR/ |
H A D | PatternMatch.h | 112 template <typename LTy, typename RTy> struct match_combine_or { 113 LTy L; 116 match_combine_or(const LTy &Left, const RTy &Right) : L(Left), R(Right) {} in match_combine_or() 127 template <typename LTy, typename RTy> struct match_combine_and { 128 LTy L; 142 template <typename LTy, typename RTy> 143 inline match_combine_or<LTy, RTy> m_CombineOr(const LTy &L, const RTy &R) { in m_CombineOr() 144 return match_combine_or<LTy, RTy>(L, R); in m_CombineOr() 148 template <typename LTy, typename RTy> 149 inline match_combine_and<LTy, RTy> m_CombineAnd(const LTy &L, const RTy &R) { in m_CombineAnd() [all …]
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/swiftshader/third_party/llvm-10.0/llvm/include/llvm/IR/ |
H A D | PatternMatch.h | 112 template <typename LTy, typename RTy> struct match_combine_or { 113 LTy L; 116 match_combine_or(const LTy &Left, const RTy &Right) : L(Left), R(Right) {} in match_combine_or() 127 template <typename LTy, typename RTy> struct match_combine_and { 128 LTy L; 142 template <typename LTy, typename RTy> 143 inline match_combine_or<LTy, RTy> m_CombineOr(const LTy &L, const RTy &R) { in m_CombineOr() 144 return match_combine_or<LTy, RTy>(L, R); in m_CombineOr() 148 template <typename LTy, typename RTy> 149 inline match_combine_and<LTy, RTy> m_CombineAnd(const LTy &L, const RTy &R) { in m_CombineAnd() [all …]
|
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/include/llvm/IR/ |
H A D | PatternMatch.h | 112 template <typename LTy, typename RTy> struct match_combine_or { 113 LTy L; 116 match_combine_or(const LTy &Left, const RTy &Right) : L(Left), R(Right) {} in match_combine_or() 127 template <typename LTy, typename RTy> struct match_combine_and { 128 LTy L; 142 template <typename LTy, typename RTy> 143 inline match_combine_or<LTy, RTy> m_CombineOr(const LTy &L, const RTy &R) { in m_CombineOr() 144 return match_combine_or<LTy, RTy>(L, R); in m_CombineOr() 148 template <typename LTy, typename RTy> 149 inline match_combine_and<LTy, RTy> m_CombineAnd(const LTy &L, const RTy &R) { in m_CombineAnd() [all …]
|
/dports/devel/llvm90/llvm-9.0.1.src/include/llvm/IR/ |
H A D | PatternMatch.h | 92 template <typename LTy, typename RTy> struct match_combine_or { 93 LTy L; 96 match_combine_or(const LTy &Left, const RTy &Right) : L(Left), R(Right) {} in match_combine_or() 107 template <typename LTy, typename RTy> struct match_combine_and { 108 LTy L; 122 template <typename LTy, typename RTy> 123 inline match_combine_or<LTy, RTy> m_CombineOr(const LTy &L, const RTy &R) { in m_CombineOr() 124 return match_combine_or<LTy, RTy>(L, R); in m_CombineOr() 128 template <typename LTy, typename RTy> 129 inline match_combine_and<LTy, RTy> m_CombineAnd(const LTy &L, const RTy &R) { in m_CombineAnd() [all …]
|