| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 60 virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
72 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;
82 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) {
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
119 virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base);
121 virtual SVal getLValueField(const FieldDecl *D, SVal Base) {
125 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 60 virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
72 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;
82 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) {
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
119 virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base);
121 virtual SVal getLValueField(const FieldDecl *D, SVal Base) {
125 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base)
[all...] |
| ProgramState.h | 87 Environment Env; // Maps a Stmt to its current SVal.
215 /// \brief Check if the given SVal is constrained to zero or is a zero
217 ConditionTruthVal isNull(SVal V) const;
229 SVal V, bool Invalidate = true) const;
232 SVal V,
236 ProgramStateRef bindLoc(SVal location, SVal V, const LocationContext *LCtx) const;
238 ProgramStateRef bindDefault(SVal loc, SVal V, const LocationContext *LCtx) const;
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 60 virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
72 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;
82 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) {
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
119 virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base);
121 virtual SVal getLValueField(const FieldDecl *D, SVal Base) {
125 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base)
[all...] |
| ProgramState.h | 87 Environment Env; // Maps a Stmt to its current SVal.
215 /// \brief Check if the given SVal is constrained to zero or is a zero
217 ConditionTruthVal isNull(SVal V) const;
229 SVal V, bool Invalidate = true) const;
232 SVal V,
236 ProgramStateRef bindLoc(SVal location, SVal V, const LocationContext *LCtx) const;
238 ProgramStateRef bindDefault(SVal loc, SVal V, const LocationContext *LCtx) const;
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 60 virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
72 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;
82 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) {
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
119 virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base);
121 virtual SVal getLValueField(const FieldDecl *D, SVal Base) {
125 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base)
[all...] |
| ProgramState.h | 87 Environment Env; // Maps a Stmt to its current SVal.
215 /// \brief Check if the given SVal is constrained to zero or is a zero
217 ConditionTruthVal isNull(SVal V) const;
229 SVal V, bool Invalidate = true) const;
232 SVal V,
236 ProgramStateRef bindLoc(SVal location, SVal V, const LocationContext *LCtx) const;
238 ProgramStateRef bindDefault(SVal loc, SVal V, const LocationContext *LCtx) const;
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 60 virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
72 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;
82 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) {
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
119 virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base);
121 virtual SVal getLValueField(const FieldDecl *D, SVal Base) {
125 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base)
[all...] |
| ProgramState.h | 87 Environment Env; // Maps a Stmt to its current SVal.
215 /// \brief Check if the given SVal is constrained to zero or is a zero
217 ConditionTruthVal isNull(SVal V) const;
229 SVal V, bool Invalidate = true) const;
232 SVal V,
236 ProgramStateRef bindLoc(SVal location, SVal V, const LocationContext *LCtx) const;
238 ProgramStateRef bindDefault(SVal loc, SVal V, const LocationContext *LCtx) const;
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 60 virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
72 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;
82 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) {
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
119 virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base);
121 virtual SVal getLValueField(const FieldDecl *D, SVal Base) {
125 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base)
[all...] |
| ProgramState.h | 87 Environment Env; // Maps a Stmt to its current SVal.
215 /// \brief Check if the given SVal is constrained to zero or is a zero
217 ConditionTruthVal isNull(SVal V) const;
229 SVal V, bool Invalidate = true) const;
232 SVal V,
236 ProgramStateRef bindLoc(SVal location, SVal V, const LocationContext *LCtx) const;
238 ProgramStateRef bindDefault(SVal loc, SVal V, const LocationContext *LCtx) const;
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 60 virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
72 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;
82 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) {
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
119 virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base);
121 virtual SVal getLValueField(const FieldDecl *D, SVal Base) {
125 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base)
[all...] |
| ProgramState.h | 87 Environment Env; // Maps a Stmt to its current SVal.
215 /// \brief Check if the given SVal is constrained to zero or is a zero
217 ConditionTruthVal isNull(SVal V) const;
229 SVal V, bool Invalidate = true) const;
232 SVal V,
236 ProgramStateRef bindLoc(SVal location, SVal V, const LocationContext *LCtx) const;
238 ProgramStateRef bindDefault(SVal loc, SVal V, const LocationContext *LCtx) const;
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 60 virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
72 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;
82 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) {
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
119 virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base);
121 virtual SVal getLValueField(const FieldDecl *D, SVal Base) {
125 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base)
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 60 virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
72 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;
82 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) {
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
119 virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base);
121 virtual SVal getLValueField(const FieldDecl *D, SVal Base) {
125 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base)
[all...] |
| ProgramState.h | 87 Environment Env; // Maps a Stmt to its current SVal.
215 /// \brief Check if the given SVal is constrained to zero or is a zero
217 ConditionTruthVal isNull(SVal V) const;
229 SVal V, bool Invalidate = true) const;
232 SVal V,
236 ProgramStateRef bindLoc(SVal location, SVal V, const LocationContext *LCtx) const;
238 ProgramStateRef bindDefault(SVal loc, SVal V, const LocationContext *LCtx) const;
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 60 virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
72 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;
82 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) {
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
119 virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base);
121 virtual SVal getLValueField(const FieldDecl *D, SVal Base) {
125 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base)
[all...] |
| ProgramState.h | 87 Environment Env; // Maps a Stmt to its current SVal.
215 /// \brief Check if the given SVal is constrained to zero or is a zero
217 ConditionTruthVal isNull(SVal V) const;
229 SVal V, bool Invalidate = true) const;
232 SVal V,
236 ProgramStateRef bindLoc(SVal location, SVal V, const LocationContext *LCtx) const;
238 ProgramStateRef bindDefault(SVal loc, SVal V, const LocationContext *LCtx) const;
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 60 virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
72 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;
82 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) {
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
119 virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base);
121 virtual SVal getLValueField(const FieldDecl *D, SVal Base) {
125 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base)
[all...] |
| ProgramState.h | 87 Environment Env; // Maps a Stmt to its current SVal.
215 /// \brief Check if the given SVal is constrained to zero or is a zero
217 ConditionTruthVal isNull(SVal V) const;
229 SVal V, bool Invalidate = true) const;
232 SVal V,
236 ProgramStateRef bindLoc(SVal location, SVal V, const LocationContext *LCtx) const;
238 ProgramStateRef bindDefault(SVal loc, SVal V, const LocationContext *LCtx) const;
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 60 virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
72 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;
82 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) {
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
119 virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base);
121 virtual SVal getLValueField(const FieldDecl *D, SVal Base) {
125 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base)
[all...] |
| ProgramState.h | 87 Environment Env; // Maps a Stmt to its current SVal.
215 /// \brief Check if the given SVal is constrained to zero or is a zero
217 ConditionTruthVal isNull(SVal V) const;
229 SVal V, bool Invalidate = true) const;
232 SVal V,
236 ProgramStateRef bindLoc(SVal location, SVal V, const LocationContext *LCtx) const;
238 ProgramStateRef bindDefault(SVal loc, SVal V, const LocationContext *LCtx) const;
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 60 virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
72 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;
82 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) {
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
119 virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base);
121 virtual SVal getLValueField(const FieldDecl *D, SVal Base) {
125 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base)
[all...] |
| ProgramState.h | 87 Environment Env; // Maps a Stmt to its current SVal.
215 /// \brief Check if the given SVal is constrained to zero or is a zero
217 ConditionTruthVal isNull(SVal V) const;
229 SVal V, bool Invalidate = true) const;
232 SVal V,
236 ProgramStateRef bindLoc(SVal location, SVal V, const LocationContext *LCtx) const;
238 ProgramStateRef bindDefault(SVal loc, SVal V, const LocationContext *LCtx) const;
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E
[all...] |
| /prebuilts/clang/host/linux-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 60 virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
72 virtual Optional<SVal> getDefaultBinding(Store store, const MemRegion *R) = 0;
82 Optional<SVal> getDefaultBinding(nonloc::LazyCompoundVal lcv) {
93 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
95 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
119 virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base);
121 virtual SVal getLValueField(const FieldDecl *D, SVal Base) {
125 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base)
[all...] |
