clang 19.0.0git
Classes | Namespaces | Typedefs | Functions
BasicValueFactory.cpp File Reference
#include "clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/APSIntType.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/Store.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
#include "llvm/ADT/APSInt.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/ImmutableList.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallPtrSet.h"
#include <cassert>
#include <cstdint>
#include <utility>

Go to the source code of this file.


struct  llvm::FoldingSetTrait< SValData >
struct  llvm::FoldingSetTrait< SValPair >


namespace  llvm
 Diagnostic wrappers for TextAPI types for error reporting.


using SValData = std::pair< SVal, uintptr_t >
using SValPair = std::pair< SVal, SVal >
using PersistentSValsTy = llvm::FoldingSet< llvm::FoldingSetNodeWrapper< SValData > >
using PersistentSValPairsTy = llvm::FoldingSet< llvm::FoldingSetNodeWrapper< SValPair > >


LLVM_ATTRIBUTE_UNUSED bool hasNoRepeatedElements (llvm::ImmutableList< const CXXBaseSpecifier * > BaseSpecList)

Typedef Documentation

◆ PersistentSValPairsTy

using PersistentSValPairsTy = llvm::FoldingSet<llvm::FoldingSetNodeWrapper<SValPair> >

Definition at line 76 of file BasicValueFactory.cpp.

◆ PersistentSValsTy

using PersistentSValsTy = llvm::FoldingSet<llvm::FoldingSetNodeWrapper<SValData> >

Definition at line 73 of file BasicValueFactory.cpp.

◆ SValData

using SValData = std::pair<SVal, uintptr_t>

Definition at line 52 of file BasicValueFactory.cpp.

◆ SValPair

using SValPair = std::pair<SVal, SVal>

Definition at line 53 of file BasicValueFactory.cpp.

Function Documentation

◆ hasNoRepeatedElements()

LLVM_ATTRIBUTE_UNUSED bool hasNoRepeatedElements ( llvm::ImmutableList< const CXXBaseSpecifier * >  BaseSpecList)

Definition at line 176 of file BasicValueFactory.cpp.

Referenced by clang::ento::BasicValueFactory::accumCXXBase().