Searched refs:Concrete (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp907 const SubRegion *Concrete = TopKey.getConcreteOffsetRegion(); local
908 return B.addBinding(Concrete, BindingKey::Default, UnknownVal());
928 const SubRegion *Concrete = TopKey.getConcreteOffsetRegion(); local
929 Result = Result.add(BindingKey::Make(Concrete, BindingKey::Default),

Completed in 58 milliseconds