|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
Declarations
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h 48 class ConditionTruthVal;
References
include/llvm/ADT/DenseMap.h 40 struct DenseMapPair : public std::pair<KeyT, ValueT> {
45 ValueT &getSecond() { return std::pair<KeyT, ValueT>::second; }
46 const ValueT &getSecond() const { return std::pair<KeyT, ValueT>::second; }
66 using mapped_type = ValueT;
69 using iterator = DenseMapIterator<KeyT, ValueT, KeyInfoT, BucketT>;
71 DenseMapIterator<KeyT, ValueT, KeyInfoT, BucketT, true>;
185 ValueT lookup(const_arg_type_t<KeyT> Val) const {
195 std::pair<iterator, bool> insert(const std::pair<KeyT, ValueT> &KV) {
202 std::pair<iterator, bool> insert(std::pair<KeyT, ValueT> &&KV) {
249 std::pair<iterator, bool> insert_as(std::pair<KeyT, ValueT> &&KV,
299 ValueT &operator[](const KeyT &Key) {
311 ValueT &operator[](KeyT &&Key) {
380 ::new (&DestBucket->getSecond()) ValueT(std::move(B->getSecond()));
392 const DenseMapBase<OtherBaseT, KeyT, ValueT, KeyInfoT, BucketT> &other) {
520 ::new (&TheBucket->getSecond()) ValueT(std::forward<ValueArgs>(Values)...);
526 ValueT &&Value, LookupKeyT &Lookup) {
684 class DenseMap : public DenseMapBase<DenseMap<KeyT, ValueT, KeyInfoT, BucketT>,
685 KeyT, ValueT, KeyInfoT, BucketT> {
690 using BaseT = DenseMapBase<DenseMap, KeyT, ValueT, KeyInfoT, BucketT>;
1163 using ConstIterator = DenseMapIterator<KeyT, ValueT, KeyInfoT, Bucket, true>;
1199 const DenseMapIterator<KeyT, ValueT, KeyInfoT, Bucket, IsConstSrc> &I)
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h 171 ConditionTruthVal isNull(ProgramStateRef State, SymbolRef Sym) {
195 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h 219 ConditionTruthVal isNonNull(SVal V) const;
223 ConditionTruthVal isNull(SVal V) const;
226 ConditionTruthVal areEqual(SVal Lhs, SVal Rhs) const;
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h 80 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override {
93 ConditionTruthVal isSat = checkModel(State, Sym, Exp);
94 ConditionTruthVal isNotSat = checkModel(State, Sym, NotExp);
326 ConditionTruthVal checkModel(ProgramStateRef State, SymbolRef Sym,
353 mutable llvm::DenseMap<unsigned, ConditionTruthVal> Cached;
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h 148 ConditionTruthVal areEqual(ProgramStateRef state, SVal lhs, SVal rhs);
tools/clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp 558 ConditionTruthVal AllocFailed = CMgr.isNull(State, I.getKey());
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp 1622 ConditionTruthVal FreeFailed = CMgr.isNull(State, *Ret);
2888 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey());
2899 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.getKey());
tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp 264 ConditionTruthVal Nullness = State->isNull(Val);
tools/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp 168 ConditionTruthVal retZero = CMgr.isNull(state, *sym);
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp 1170 ConditionTruthVal AllocFailed = CMgr.isNull(state, I.first);
tools/clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp 168 ConditionTruthVal OpenFailed = CMgr.isNull(State, Sym);
tools/clang/lib/StaticAnalyzer/Checkers/TrustNonnullChecker.cpp 188 ConditionTruthVal TV = C.getState()->isNonNull(Receiver);
tools/clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp 32 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State,
tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp 361 ConditionTruthVal ProgramState::isNonNull(SVal V) const {
362 ConditionTruthVal IsNull = isNull(V);
368 ConditionTruthVal ProgramState::areEqual(SVal Lhs, SVal Rhs) const {
372 ConditionTruthVal ProgramState::isNull(SVal V) const {
tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp 257 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override;
382 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State,
tools/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp 437 ConditionTruthVal SValBuilder::areEqual(ProgramStateRef state, SVal lhs,
usr/include/c++/7.4.0/bits/move.h 98 move(_Tp&& __t) noexcept
usr/include/c++/7.4.0/bits/stl_pair.h 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)
380 is_copy_assignable<_T2>>::value,
391 is_move_assignable<_T2>>::value,
403 is_assignable<_T2&, const _U2&>>::value,
403 is_assignable<_T2&, const _U2&>>::value,
405 operator=(const pair<_U1, _U2>& __p)
414 is_assignable<_T2&, _U2&&>>::value,
414 is_assignable<_T2&, _U2&&>>::value,
416 operator=(pair<_U1, _U2>&& __p)
usr/include/c++/7.4.0/type_traits 215 : public __is_void_helper<typename remove_cv<_Tp>::type>::type
581 : public __or_<is_lvalue_reference<_Tp>,
582 is_rvalue_reference<_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
638 : public __or_<is_object<_Tp>, is_reference<_Tp>>::type
638 : public __or_<is_object<_Tp>, is_reference<_Tp>>::type
762 typename add_rvalue_reference<_Tp>::type declval() noexcept;
889 typedef decltype(__test<_Tp>(0)) type;
894 : public __and_<__not_<is_void<_Tp>>,
895 __is_default_constructible_impl<_Tp>>
915 : public __is_default_constructible_atom<_Tp>::type
921 : public __is_default_constructible_safe<_Tp>::type
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>
1377 static void __helper(const _Tp&);
1380 static true_type __test(const _Tp&,
1381 decltype(__helper<const _Tp&>({}))* = 0);
1390 typedef decltype(__test(declval<_Tp>())) type;
1395 : public __is_implicitly_default_constructible_impl<_Tp>::type
1400 : public __and_<is_default_constructible<_Tp>,
1401 __is_implicitly_default_constructible_safe<_Tp>>
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; };
1664 : public __add_rvalue_reference_helper<_Tp>