clang  14.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>
Include dependency graph for BasicValueFactory.cpp:

Go to the source code of this file.

Classes

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

Namespaces

 llvm
 

Typedefs

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 > >
 

Functions

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

Typedef Documentation

◆ PersistentSValPairsTy

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

Definition at line 77 of file BasicValueFactory.cpp.

◆ PersistentSValsTy

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

Definition at line 74 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 180 of file BasicValueFactory.cpp.

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