|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
include/llvm/ADT/Optional.h 144 T value;
160 explicit OptionalStorage(in_place_t, Args &&... args)
172 T &getValue() LLVM_LVALUE_FUNCTION noexcept {
176 T const &getValue() const LLVM_LVALUE_FUNCTION noexcept {
181 T &&getValue() && noexcept {
216 optional_detail::OptionalStorage<T> Storage;
219 using value_type = T;
224 Optional(const T &y) : Storage(optional_detail::in_place_t{}, y) {}
227 Optional(T &&y) : Storage(optional_detail::in_place_t{}, std::move(y)) {}
230 Optional &operator=(T &&y) {
241 static inline Optional create(const T *y) {
245 Optional &operator=(const T &y) {
253 const T *getPointer() const { return &Storage.getValue(); }
254 T *getPointer() { return &Storage.getValue(); }
255 const T &getValue() const LLVM_LVALUE_FUNCTION { return Storage.getValue(); }
256 T &getValue() LLVM_LVALUE_FUNCTION { return Storage.getValue(); }
260 const T *operator->() const { return getPointer(); }
261 T *operator->() { return getPointer(); }
262 const T &operator*() const LLVM_LVALUE_FUNCTION { return getValue(); }
263 T &operator*() LLVM_LVALUE_FUNCTION { return getValue(); }
266 constexpr T getValueOr(U &&value) const LLVM_LVALUE_FUNCTION {
271 T &&getValue() && { return std::move(Storage.getValue()); }
272 T &&operator*() && { return std::move(Storage.getValue()); }
275 T getValueOr(U &&value) && {
include/llvm/Support/type_traits.h 91 T t;
122 static auto get(F*) -> decltype(std::declval<F &>() = std::declval<const F &>(), std::true_type{});
122 static auto get(F*) -> decltype(std::declval<F &>() = std::declval<const F &>(), std::true_type{});
122 static auto get(F*) -> decltype(std::declval<F &>() = std::declval<const F &>(), std::true_type{});
130 static auto get(F*) -> decltype(std::declval<F &>() = std::declval<F &&>(), std::true_type{});
130 static auto get(F*) -> decltype(std::declval<F &>() = std::declval<F &&>(), std::true_type{});
130 static auto get(F*) -> decltype(std::declval<F &>() = std::declval<F &&>(), std::true_type{});
145 std::is_copy_constructible<detail::trivial_helper<T>>::value;
147 !std::is_copy_constructible<T>::value;
151 std::is_move_constructible<detail::trivial_helper<T>>::value;
153 !std::is_move_constructible<T>::value;
157 is_copy_assignable<detail::trivial_helper<T>>::value;
159 !is_copy_assignable<T>::value;
163 is_move_assignable<detail::trivial_helper<T>>::value;
165 !is_move_assignable<T>::value;
169 std::is_destructible<detail::trivial_helper<T>>::value;
tools/clang/include/clang/StaticAnalyzer/Checkers/SValExplainer.h 77 std::string VisitNonLocConcreteInt(nonloc::ConcreteInt V) {
173 if (auto I = R->getIndex().getAs<nonloc::ConcreteInt>())
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h 278 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) {
284 nonloc::ConcreteInt makeBoolVal(const ObjCBoolLiteralExpr *boolean) {
288 nonloc::ConcreteInt makeBoolVal(const CXXBoolLiteralExpr *boolean);
290 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) {
334 nonloc::ConcreteInt makeTruthVal(bool b, QualType type) {
338 nonloc::ConcreteInt makeTruthVal(bool b) {
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h 103 T castAs() const {
111 Optional<T> getAs() const {
112 if (!T::isKind(*this))
389 const ConcreteInt& R) const;
391 ConcreteInt evalComplement(SValBuilder &svalBuilder) const;
393 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;
tools/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp 83 static std::pair<NonLoc, nonloc::ConcreteInt>
84 getSimplifiedOffsets(NonLoc offset, nonloc::ConcreteInt extent,
146 if (NV->getAs<nonloc::ConcreteInt>()) {
147 std::pair<NonLoc, nonloc::ConcreteInt> simplifiedOffsets =
149 NV->castAs<nonloc::ConcreteInt>(),
185 if (extentVal.getAs<nonloc::ConcreteInt>()) {
186 std::pair<NonLoc, nonloc::ConcreteInt> simplifiedOffsets =
188 extentVal.castAs<nonloc::ConcreteInt>(),
tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp 448 Optional<nonloc::ConcreteInt> V = TheTypeVal.getAs<nonloc::ConcreteInt>();
448 Optional<nonloc::ConcreteInt> V = TheTypeVal.getAs<nonloc::ConcreteInt>();
tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp 678 if (right.getAs<nonloc::ConcreteInt>()) {
tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp 898 if (const auto TruthVal = RetVal.getAs<nonloc::ConcreteInt>()) {
1573 if (const auto IntDist = Distance.getAs<nonloc::ConcreteInt>()) {
2275 const auto DiffInt = Diff.getAs<nonloc::ConcreteInt>();
tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp 166 const llvm::APSInt &ArrSize = Size.getAs<nonloc::ConcreteInt>()->getValue();
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp 1959 if (Optional<nonloc::ConcreteInt> IntVal = V.getAs<nonloc::ConcreteInt>())
1959 if (Optional<nonloc::ConcreteInt> IntVal = V.getAs<nonloc::ConcreteInt>())
tools/clang/lib/StaticAnalyzer/Checkers/MmapWriteExecChecker.cpp 51 Optional<nonloc::ConcreteInt> ProtLoc = ProtVal.getAs<nonloc::ConcreteInt>();
51 Optional<nonloc::ConcreteInt> ProtLoc = ProtVal.getAs<nonloc::ConcreteInt>();
tools/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp 265 Optional<nonloc::ConcreteInt> CI = Whence.getAs<nonloc::ConcreteInt>();
265 Optional<nonloc::ConcreteInt> CI = Whence.getAs<nonloc::ConcreteInt>();
tools/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp 211 if (auto CI = V->getAs<nonloc::ConcreteInt>())
1078 if (auto CI = V.getAs<nonloc::ConcreteInt>()) {
1264 } else if (auto CVal = V.getAs<nonloc::ConcreteInt>()) {
1300 } else if (auto CI = V.getAs<nonloc::ConcreteInt>()) {
1341 } else if (auto CV = V.getAs<nonloc::ConcreteInt>()) {
tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp 723 nonloc::ConcreteInt Zero(getBasicVals().getValue(0, B->getType()));
1043 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType()));
tools/clang/lib/StaticAnalyzer/Core/MemRegion.cpp 670 if (auto CI = ER->getIndex().getAs<nonloc::ConcreteInt>()) {
1243 if (auto CI = index.getAs<nonloc::ConcreteInt>()) {
1410 if (Optional<nonloc::ConcreteInt> CI =
1411 Index.getAs<nonloc::ConcreteInt>()) {
tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp 334 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy));
tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp 880 if (Optional<nonloc::ConcreteInt> ExtentCI =
881 Extent.getAs<nonloc::ConcreteInt>()) {
1690 if (Optional<nonloc::ConcreteInt> CI = Idx.getAs<nonloc::ConcreteInt>()) {
1690 if (Optional<nonloc::ConcreteInt> CI = Idx.getAs<nonloc::ConcreteInt>()) {
1714 if (auto CI = R->getIndex().getAs<nonloc::ConcreteInt>()) {
tools/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp 104 if (Optional<nonloc::ConcreteInt> CI = val.getAs<nonloc::ConcreteInt>()) {
104 if (Optional<nonloc::ConcreteInt> CI = val.getAs<nonloc::ConcreteInt>()) {
113 nonloc::ConcreteInt SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){
394 if (Optional<nonloc::ConcreteInt> rInt = RHS.getAs<nonloc::ConcreteInt>())
394 if (Optional<nonloc::ConcreteInt> rInt = RHS.getAs<nonloc::ConcreteInt>())
398 if (Optional<nonloc::ConcreteInt> lInt = LHS.getAs<nonloc::ConcreteInt>())
398 if (Optional<nonloc::ConcreteInt> lInt = LHS.getAs<nonloc::ConcreteInt>())
tools/clang/lib/StaticAnalyzer/Core/SVals.cpp 223 return getAs<nonloc::ConcreteInt>() || getAs<loc::ConcreteInt>();
229 if (Optional<nonloc::ConcreteInt> NV = getAs<nonloc::ConcreteInt>())
229 if (Optional<nonloc::ConcreteInt> NV = getAs<nonloc::ConcreteInt>())
244 const nonloc::ConcreteInt& R) const {
254 nonloc::ConcreteInt
259 nonloc::ConcreteInt
316 const auto &Value = castAs<nonloc::ConcreteInt>().getValue();
tools/clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp 77 bool b = Cond.castAs<nonloc::ConcreteInt>().getValue() != 0;
122 const llvm::APSInt &IntVal = Value.castAs<nonloc::ConcreteInt>().getValue();
tools/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp 107 if (!val.getAs<nonloc::ConcreteInt>())
112 bool b = val.castAs<nonloc::ConcreteInt>().getValue().getBoolValue();
121 llvm::APSInt i = val.castAs<nonloc::ConcreteInt>().getValue();
198 return val.castAs<nonloc::ConcreteInt>().evalMinus(*this);
207 return X.castAs<nonloc::ConcreteInt>().evalComplement(*this);
573 llvm::APSInt i = rhs.castAs<nonloc::ConcreteInt>().getValue();
598 llvm::APSInt LHSValue = lhs.castAs<nonloc::ConcreteInt>().getValue();
1137 if (Optional<nonloc::ConcreteInt> rhsInt = rhs.getAs<nonloc::ConcreteInt>()) {
1137 if (Optional<nonloc::ConcreteInt> rhsInt = rhs.getAs<nonloc::ConcreteInt>()) {
1219 if (Optional<nonloc::ConcreteInt> X = V.getAs<nonloc::ConcreteInt>())
1219 if (Optional<nonloc::ConcreteInt> X = V.getAs<nonloc::ConcreteInt>())
tools/clang/lib/StaticAnalyzer/Core/Store.cpp 512 if (!BaseIdx.getAs<nonloc::ConcreteInt>())
516 BaseIdx.castAs<nonloc::ConcreteInt>().getValue();
521 if (!Offset.getAs<nonloc::ConcreteInt>()) {
529 const llvm::APSInt& OffI = Offset.castAs<nonloc::ConcreteInt>().getValue();
533 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI +
usr/include/c++/7.4.0/bits/move.h 72 constexpr _Tp&&
83 constexpr _Tp&&
usr/include/c++/7.4.0/bits/stl_pair.h 101 is_constructible<_T2, const _U2&>>::value;
101 is_constructible<_T2, const _U2&>>::value;
108 is_convertible<const _U2&, _T2>>::value;
108 is_convertible<const _U2&, _T2>>::value;
115 is_constructible<_T2, _U2&&>>::value;
115 is_constructible<_T2, _U2&&>>::value;
122 is_convertible<_U2&&, _T2>>::value;
122 is_convertible<_U2&&, _T2>>::value;
129 is_convertible<_U2&&, _T2>>;
129 is_convertible<_U2&&, _T2>>;
134 is_constructible<_T2, _U2&&>,
134 is_constructible<_T2, _U2&&>,
143 is_convertible<const _U2&, _T2>>;
143 is_convertible<const _U2&, _T2>>;
148 is_constructible<_T2, const _U2&&>,
148 is_constructible<_T2, const _U2&&>,
209 : private __pair_base<_T1, _T2>
212 typedef _T2 second_type; /// @c second_type is the second bound type
215 _T2 second; /// @c second is a copy of the second object
252 using _PCCP = _PCC<true, _T1, _T2>;
260 constexpr pair(const _T1& __a, const _T2& __b)
269 explicit constexpr pair(const _T1& __a, const _T2& __b)
283 _T1, _T2>;
311 constexpr pair(_U1&& __x, const _T2& __y)
318 explicit constexpr pair(_U1&& __x, const _T2& __y)
325 constexpr pair(const _T1& __x, _U2&& __y)
341 constexpr pair(_U1&& __x, _U2&& __y)
380 is_copy_assignable<_T2>>::value,
391 is_move_assignable<_T2>>::value,
usr/include/c++/7.4.0/type_traits 215 : public __is_void_helper<typename remove_cv<_Tp>::type>::type
326 : public __is_integral_helper<typename remove_cv<_Tp>::type>::type
354 : public __is_floating_point_helper<typename remove_cv<_Tp>::type>::type
381 : public __is_pointer_helper<typename remove_cv<_Tp>::type>::type
567 : public __is_null_pointer_helper<typename remove_cv<_Tp>::type>::type
581 : public __or_<is_lvalue_reference<_Tp>,
582 is_rvalue_reference<_Tp>>::type
588 : public __or_<is_integral<_Tp>, is_floating_point<_Tp>>::type
588 : public __or_<is_integral<_Tp>, is_floating_point<_Tp>>::type
601 : public __not_<__or_<is_function<_Tp>, is_reference<_Tp>,
601 : public __not_<__or_<is_function<_Tp>, is_reference<_Tp>,
602 is_void<_Tp>>>::type
611 : public __or_<is_arithmetic<_Tp>, is_enum<_Tp>, is_pointer<_Tp>,
611 : public __or_<is_arithmetic<_Tp>, is_enum<_Tp>, is_pointer<_Tp>,
611 : public __or_<is_arithmetic<_Tp>, is_enum<_Tp>, is_pointer<_Tp>,
612 is_member_pointer<_Tp>, is_null_pointer<_Tp>>::type
612 is_member_pointer<_Tp>, is_null_pointer<_Tp>>::type
631 : public __is_member_pointer_helper<typename remove_cv<_Tp>::type>::type
638 : public __or_<is_object<_Tp>, is_reference<_Tp>>::type
638 : public __or_<is_object<_Tp>, is_reference<_Tp>>::type
777 : public __and_<is_array<_Tp>, __not_<extent<_Tp>>>
777 : public __and_<is_array<_Tp>, __not_<extent<_Tp>>>
798 typedef decltype(__test<_Tp>(0)) type;
811 remove_all_extents<_Tp>::type>::type
825 : public __is_destructible_safe<_Tp>::type
984 typedef decltype(__test<_Tp, _Arg>(0)) type;
989 : public __and_<is_destructible<_Tp>,
990 __is_direct_constructible_impl<_Tp, _Arg>>
1072 __is_direct_constructible_ref_cast<_Tp, _Arg>,
1073 __is_direct_constructible_new_safe<_Tp, _Arg>
1079 : public __is_direct_constructible_new<_Tp, _Arg>::type
1119 : public __is_direct_constructible<_Tp, _Arg>
1130 : public __is_constructible_impl<_Tp, _Args...>::type
1142 : public is_constructible<_Tp, const _Tp&>
1142 : public is_constructible<_Tp, const _Tp&>
1148 : public __is_copy_constructible_impl<_Tp>
1160 : public is_constructible<_Tp, _Tp&&>
1160 : public is_constructible<_Tp, _Tp&&>
1166 : public __is_move_constructible_impl<_Tp>
1286 : public is_assignable<_Tp&, const _Tp&>
1286 : public is_assignable<_Tp&, const _Tp&>
1292 : public __is_copy_assignable_impl<_Tp>
1304 : public is_assignable<_Tp&, _Tp&&>
1304 : public is_assignable<_Tp&, _Tp&&>
1310 : public __is_move_assignable_impl<_Tp>
1526 static void __test_aux(_To1);
1538 typedef decltype(__test<_From, _To>(0)) type;
1545 : public __is_convertible_helper<_From, _To>::type
1554 { typedef _Tp type; };
1563 { typedef _Tp type; };
1574 remove_const<typename remove_volatile<_Tp>::type>::type type;
1633 { typedef _Tp type; };
1659 { typedef _Tp&& type; };
1955 { typedef _Tp type; };