Searched refs:ConstIS (Results 1 - 3 of 3) sorted by relevance
| /freebsd-10.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Store.h | 177 /// \param[in,out] ConstIS A set to fill with any symbols corresponding to
196 InvalidatedSymbols &ConstIS,
|
| /freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 194 InvalidatedSymbols ConstIS; local
203 IS, ConstIS,
216 newState = Eng->notifyCheckersOfPointerEscape(newState, &ConstIS,
231 IS, ConstIS, NULL, NULL, NULL);
|
| H A D | RegionStore.cpp | 403 InvalidatedSymbols &ConstIS,
945 InvalidatedSymbols &ConstIS; member in class:__anon3455::invalidateRegionsWorker
958 Ex(ex), Count(count), LCtx(lctx), IS(is), ConstIS(inConstIS), Regions(r){}
1038 ConstIS.insert(RegionSym);
1161 InvalidatedSymbols &ConstIS,
1176 invalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ConstIS,
1154 invalidateRegions(Store store, ArrayRef<SVal> Values, ArrayRef<SVal> ConstValues, const Expr *Ex, unsigned Count, const LocationContext *LCtx, const CallEvent *Call, InvalidatedSymbols &IS, InvalidatedSymbols &ConstIS, InvalidatedRegions *TopLevelRegions, InvalidatedRegions *TopLevelConstRegions, InvalidatedRegions *Invalidated) argument
|
Completed in 171 milliseconds