| /external/clang/lib/StaticAnalyzer/Core/ |
| LoopWidening.cpp | 62 return PrevState->invalidateRegions(Regions, getLoopCondition(LoopStmt),
|
| ProgramState.cpp | 139 ProgramState::invalidateRegions(RegionList Regions,
156 ProgramState::invalidateRegions(ValueList Values,
191 = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
209 Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
|
| CallEvent.cpp | 156 ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount,
190 return Result->invalidateRegions(ValuesToInvalidate, getOriginExpr(),
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 161 /// invalidateRegions - Clears out the specified regions from the store,
184 virtual StoreRef invalidateRegions(Store store,
|
| ProgramState.h | 261 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E,
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E,
430 /// \sa invalidateRegions()
|
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 187 /// invalidateRegions - Clears out the specified regions from the store,
210 virtual StoreRef invalidateRegions(Store store,
|
| ProgramState.h | 260 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E,
267 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E,
429 /// \sa invalidateRegions()
|
| /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 187 /// invalidateRegions - Clears out the specified regions from the store,
210 virtual StoreRef invalidateRegions(Store store,
|
| ProgramState.h | 261 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E,
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E,
441 /// \sa invalidateRegions()
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 187 /// invalidateRegions - Clears out the specified regions from the store,
210 virtual StoreRef invalidateRegions(Store store,
|
| ProgramState.h | 261 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E,
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E,
441 /// \sa invalidateRegions()
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 187 /// invalidateRegions - Clears out the specified regions from the store,
210 virtual StoreRef invalidateRegions(Store store,
|
| ProgramState.h | 261 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E,
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E,
441 /// \sa invalidateRegions()
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 187 /// invalidateRegions - Clears out the specified regions from the store,
210 virtual StoreRef invalidateRegions(Store store,
|
| ProgramState.h | 261 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E,
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E,
441 /// \sa invalidateRegions()
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 187 /// invalidateRegions - Clears out the specified regions from the store,
210 virtual StoreRef invalidateRegions(Store store,
|
| ProgramState.h | 261 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E,
268 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E,
441 /// \sa invalidateRegions()
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 187 /// invalidateRegions - Clears out the specified regions from the store,
210 virtual StoreRef invalidateRegions(Store store,
|
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 187 /// invalidateRegions - Clears out the specified regions from the store,
210 virtual StoreRef invalidateRegions(Store store,
|
| /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 187 /// invalidateRegions - Clears out the specified regions from the store,
210 virtual StoreRef invalidateRegions(Store store,
|
| /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 187 /// invalidateRegions - Clears out the specified regions from the store,
210 virtual StoreRef invalidateRegions(Store store,
|
| /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 187 /// invalidateRegions - Clears out the specified regions from the store,
210 virtual StoreRef invalidateRegions(Store store,
|
| /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 187 /// invalidateRegions - Clears out the specified regions from the store,
210 virtual StoreRef invalidateRegions(Store store,
|
| /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 187 /// invalidateRegions - Clears out the specified regions from the store,
210 virtual StoreRef invalidateRegions(Store store,
|
| /prebuilts/clang/host/linux-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Store.h | 187 /// invalidateRegions - Clears out the specified regions from the store,
210 virtual StoreRef invalidateRegions(Store store,
|
