| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| StoreRef.h | 1 //== StoreRef.h - Smart pointer for store objects ---------------*- C++ -*--==//
10 // This file defined the type StoreRef.
30 class StoreRef {
34 StoreRef(Store, StoreManager &);
35 StoreRef(const StoreRef &);
36 StoreRef &operator=(StoreRef const &);
38 bool operator==(const StoreRef &x) const {
42 bool operator!=(const StoreRef &x) const { return !operator==(x);
[all...] |
| Store.h | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
70 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
72 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
77 virtual StoreRef killBinding(Store ST, Loc L) = 0;
81 virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0;
144 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
184 virtual StoreRef invalidateRegions(Store store,
196 StoreRef enterStackFrame(Store store,
250 inline StoreRef::StoreRef(Store store, StoreManager & smgr
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| StoreRef.h | 1 //== StoreRef.h - Smart pointer for store objects ---------------*- C++ -*--==//
10 // This file defined the type StoreRef.
30 class StoreRef {
34 StoreRef(Store, StoreManager &);
35 StoreRef(const StoreRef &);
36 StoreRef &operator=(StoreRef const &);
38 bool operator==(const StoreRef &x) const {
42 bool operator!=(const StoreRef &x) const { return !operator==(x);
[all...] |
| Store.h | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
100 virtual StoreRef killBinding(Store ST, Loc L) = 0;
104 virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0;
170 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
210 virtual StoreRef invalidateRegions(Store store,
222 StoreRef enterStackFrame(Store store,
276 inline StoreRef::StoreRef(Store store, StoreManager & smgr
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| StoreRef.h | 1 //== StoreRef.h - Smart pointer for store objects ---------------*- C++ -*--==//
10 // This file defined the type StoreRef.
30 class StoreRef {
34 StoreRef(Store, StoreManager &);
35 StoreRef(const StoreRef &);
36 StoreRef &operator=(StoreRef const &);
38 bool operator==(const StoreRef &x) const {
42 bool operator!=(const StoreRef &x) const { return !operator==(x);
[all...] |
| Store.h | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
100 virtual StoreRef killBinding(Store ST, Loc L) = 0;
104 virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0;
170 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
210 virtual StoreRef invalidateRegions(Store store,
222 StoreRef enterStackFrame(Store store,
277 inline StoreRef::StoreRef(Store store, StoreManager & smgr
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| StoreRef.h | 1 //== StoreRef.h - Smart pointer for store objects ---------------*- C++ -*--==//
10 // This file defined the type StoreRef.
30 class StoreRef {
34 StoreRef(Store, StoreManager &);
35 StoreRef(const StoreRef &);
36 StoreRef &operator=(StoreRef const &);
38 bool operator==(const StoreRef &x) const {
42 bool operator!=(const StoreRef &x) const { return !operator==(x);
[all...] |
| Store.h | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
100 virtual StoreRef killBinding(Store ST, Loc L) = 0;
104 virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0;
170 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
210 virtual StoreRef invalidateRegions(Store store,
222 StoreRef enterStackFrame(Store store,
277 inline StoreRef::StoreRef(Store store, StoreManager & smgr
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| StoreRef.h | 1 //== StoreRef.h - Smart pointer for store objects ---------------*- C++ -*--==//
10 // This file defined the type StoreRef.
30 class StoreRef {
34 StoreRef(Store, StoreManager &);
35 StoreRef(const StoreRef &);
36 StoreRef &operator=(StoreRef const &);
38 bool operator==(const StoreRef &x) const {
42 bool operator!=(const StoreRef &x) const { return !operator==(x);
[all...] |
| Store.h | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
90 /// \return A StoreRef object that contains the same
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
100 virtual StoreRef killBinding(Store ST, Loc L) = 0;
104 virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0;
170 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
210 virtual StoreRef invalidateRegions(Store store,
222 StoreRef enterStackFrame(Store store,
277 inline StoreRef::StoreRef(Store store, StoreManager & smgr
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| StoreRef.h | 1 //== StoreRef.h - Smart pointer for store objects ---------------*- C++ -*--==//
10 // This file defined the type StoreRef.
30 class StoreRef {
34 StoreRef(Store, StoreManager &);
35 StoreRef(const StoreRef &);
36 StoreRef &operator=(StoreRef const &);
38 bool operator==(const StoreRef &x) const {
42 bool operator!=(const StoreRef &x) const { return !operator==(x);
[all...] |
| Store.h | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
90 /// \return A StoreRef object that contains the same
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
100 virtual StoreRef killBinding(Store ST, Loc L) = 0;
104 virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0;
170 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
210 virtual StoreRef invalidateRegions(Store store,
222 StoreRef enterStackFrame(Store store,
277 inline StoreRef::StoreRef(Store store, StoreManager & smgr
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| StoreRef.h | 1 //== StoreRef.h - Smart pointer for store objects ---------------*- C++ -*--==//
10 // This file defined the type StoreRef.
30 class StoreRef {
34 StoreRef(Store, StoreManager &);
35 StoreRef(const StoreRef &);
36 StoreRef &operator=(StoreRef const &);
38 bool operator==(const StoreRef &x) const {
42 bool operator!=(const StoreRef &x) const { return !operator==(x);
[all...] |
| Store.h | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
90 /// \return A StoreRef object that contains the same
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
100 virtual StoreRef killBinding(Store ST, Loc L) = 0;
104 virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0;
170 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
210 virtual StoreRef invalidateRegions(Store store,
222 StoreRef enterStackFrame(Store store,
277 inline StoreRef::StoreRef(Store store, StoreManager & smgr
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| StoreRef.h | 1 //== StoreRef.h - Smart pointer for store objects ---------------*- C++ -*--==//
10 // This file defined the type StoreRef.
30 class StoreRef {
34 StoreRef(Store, StoreManager &);
35 StoreRef(const StoreRef &);
36 StoreRef &operator=(StoreRef const &);
38 bool operator==(const StoreRef &x) const {
42 bool operator!=(const StoreRef &x) const { return !operator==(x);
[all...] |
| Store.h | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
90 /// \return A StoreRef object that contains the same
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
100 virtual StoreRef killBinding(Store ST, Loc L) = 0;
104 virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0;
170 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
210 virtual StoreRef invalidateRegions(Store store,
222 StoreRef enterStackFrame(Store store,
277 inline StoreRef::StoreRef(Store store, StoreManager & smgr
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| StoreRef.h | 1 //== StoreRef.h - Smart pointer for store objects ---------------*- C++ -*--==//
10 // This file defined the type StoreRef.
30 class StoreRef {
34 StoreRef(Store, StoreManager &);
35 StoreRef(const StoreRef &);
36 StoreRef &operator=(StoreRef const &);
38 bool operator==(const StoreRef &x) const {
42 bool operator!=(const StoreRef &x) const { return !operator==(x);
[all...] |
| Store.h | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
100 virtual StoreRef killBinding(Store ST, Loc L) = 0;
104 virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0;
170 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
210 virtual StoreRef invalidateRegions(Store store,
222 StoreRef enterStackFrame(Store store,
276 inline StoreRef::StoreRef(Store store, StoreManager & smgr
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| StoreRef.h | 1 //== StoreRef.h - Smart pointer for store objects ---------------*- C++ -*--==//
10 // This file defined the type StoreRef.
30 class StoreRef {
34 StoreRef(Store, StoreManager &);
35 StoreRef(const StoreRef &);
36 StoreRef &operator=(StoreRef const &);
38 bool operator==(const StoreRef &x) const {
42 bool operator!=(const StoreRef &x) const { return !operator==(x);
[all...] |
| Store.h | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
100 virtual StoreRef killBinding(Store ST, Loc L) = 0;
104 virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0;
170 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
210 virtual StoreRef invalidateRegions(Store store,
222 StoreRef enterStackFrame(Store store,
277 inline StoreRef::StoreRef(Store store, StoreManager & smgr
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| StoreRef.h | 1 //== StoreRef.h - Smart pointer for store objects ---------------*- C++ -*--==//
10 // This file defined the type StoreRef.
30 class StoreRef {
34 StoreRef(Store, StoreManager &);
35 StoreRef(const StoreRef &);
36 StoreRef &operator=(StoreRef const &);
38 bool operator==(const StoreRef &x) const {
42 bool operator!=(const StoreRef &x) const { return !operator==(x);
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| StoreRef.h | 1 //== StoreRef.h - Smart pointer for store objects ---------------*- C++ -*--==//
10 // This file defined the type StoreRef.
30 class StoreRef {
34 StoreRef(Store, StoreManager &);
35 StoreRef(const StoreRef &);
36 StoreRef &operator=(StoreRef const &);
38 bool operator==(const StoreRef &x) const {
42 bool operator!=(const StoreRef &x) const { return !operator==(x);
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| StoreRef.h | 1 //== StoreRef.h - Smart pointer for store objects ---------------*- C++ -*--==//
10 // This file defined the type StoreRef.
30 class StoreRef {
34 StoreRef(Store, StoreManager &);
35 StoreRef(const StoreRef &);
36 StoreRef &operator=(StoreRef const &);
38 bool operator==(const StoreRef &x) const {
42 bool operator!=(const StoreRef &x) const { return !operator==(x);
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| StoreRef.h | 1 //== StoreRef.h - Smart pointer for store objects ---------------*- C++ -*--==//
10 // This file defined the type StoreRef.
30 class StoreRef {
34 StoreRef(Store, StoreManager &);
35 StoreRef(const StoreRef &);
36 StoreRef &operator=(StoreRef const &);
38 bool operator==(const StoreRef &x) const {
42 bool operator!=(const StoreRef &x) const { return !operator==(x);
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| StoreRef.h | 1 //== StoreRef.h - Smart pointer for store objects ---------------*- C++ -*--==//
10 // This file defined the type StoreRef.
30 class StoreRef {
34 StoreRef(Store, StoreManager &);
35 StoreRef(const StoreRef &);
36 StoreRef &operator=(StoreRef const &);
38 bool operator==(const StoreRef &x) const {
42 bool operator!=(const StoreRef &x) const { return !operator==(x);
[all...] |
