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.

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

Namespaces
namespace	llvm
	Diagnostic wrappers for TextAPI types for error reporting.

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
static 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()

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

static

Definition at line 176 of file BasicValueFactory.cpp.

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