OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:BasicValueFactory
(Results
1 - 16
of
16
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
BasicValueFactory.cpp
1
//===
BasicValueFactory
.cpp - Basic values for Path Sens analysis --*- C++ -*-//
10
// This file defines
BasicValueFactory
, a class that manages the lifetime
17
#include "clang/StaticAnalyzer/Core/PathSensitive/
BasicValueFactory
.h"
61
BasicValueFactory
::~
BasicValueFactory
() {
72
const llvm::APSInt&
BasicValueFactory
::getValue(const llvm::APSInt& X) {
89
const llvm::APSInt&
BasicValueFactory
::getValue(const llvm::APInt& X,
95
const llvm::APSInt&
BasicValueFactory
::getValue(uint64_t X, unsigned BitWidth,
102
const llvm::APSInt&
BasicValueFactory
::getValue(uint64_t X, QualType T) {
108
BasicValueFactory
::getCompoundValData(QualType T
[
all
...]
Android.mk
17
BasicValueFactory
.cpp \
SimpleConstraintManager.cpp
100
BasicValueFactory
&BVF = getBasicVals();
254
BasicValueFactory
&BVF = getBasicVals();
308
BasicValueFactory
&BVF = getBasicVals();
SimpleConstraintManager.h
103
BasicValueFactory
&getBasicVals() const { return SVB.getBasicValueFactory(); }
RangeConstraintManager.cpp
114
void IntersectInRange(
BasicValueFactory
&BV, Factory &F,
247
RangeSet Intersect(
BasicValueFactory
&BV, Factory &F,
385
BasicValueFactory
&BV = getBasicVals();
422
BasicValueFactory
&BV = getBasicVals();
SVals.cpp
221
SVal loc::ConcreteInt::evalBinOp(
BasicValueFactory
& BasicVals,
SValBuilder.cpp
18
#include "clang/StaticAnalyzer/Core/PathSensitive/
BasicValueFactory
.h"
47
//
BasicValueFactory
, so we don't need to get the APSInt from
48
//
BasicValueFactory
again.
443
BasicValueFactory
&BVF = getBasicValueFactory();
ProgramState.cpp
319
BasicValueFactory
&BVF = svalBuilder.getBasicValueFactory();
/external/clang/lib/StaticAnalyzer/Checkers/
BuiltinFunctionChecker.cpp
89
BasicValueFactory
&BVF = SVB.getBasicValueFactory();
CStringChecker.cpp
567
BasicValueFactory
&BVF = svalBuilder.getBasicValueFactory();
690
BasicValueFactory
&BVF = svalBuilder.getBasicValueFactory();
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
BasicValueFactory.h
1
//===
BasicValueFactory
.h - Basic values for Path Sens analysis --*- C++ -*---//
10
// This file defines
BasicValueFactory
, a class that manages the lifetime
62
class
BasicValueFactory
{
82
BasicValueFactory
(ASTContext &ctx, llvm::BumpPtrAllocator &Alloc)
86
~
BasicValueFactory
();
SValBuilder.h
21
#include "clang/StaticAnalyzer/Core/PathSensitive/
BasicValueFactory
.h"
37
BasicValueFactory
BasicVals;
134
BasicValueFactory
&getBasicValueFactory() { return BasicVals; }
135
const
BasicValueFactory
&getBasicValueFactory() const { return BasicVals; }
SymbolManager.h
34
class
BasicValueFactory
;
481
BasicValueFactory
&BV;
485
SymbolManager(ASTContext &ctx,
BasicValueFactory
&bv,
553
BasicValueFactory
&getBasicVals() { return BV; }
SVals.h
34
class
BasicValueFactory
;
538
SVal evalBinOp(
BasicValueFactory
& BasicVals, BinaryOperator::Opcode Op,
ProgramState.h
145
BasicValueFactory
&getBasicVals() const;
490
BasicValueFactory
&getBasicVals() {
755
inline
BasicValueFactory
&ProgramState::getBasicVals() const {
ExprEngine.h
307
BasicValueFactory
& getBasicVals() {
Completed in 758 milliseconds