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

/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp954 const SubRegion *Concrete = TopKey.getConcreteOffsetRegion(); local
955 return B.addBinding(Concrete, BindingKey::Default, UnknownVal());
975 const SubRegion *Concrete = TopKey.getConcreteOffsetRegion(); local
976 Result = Result.add(BindingKey::Make(Concrete, BindingKey::Default),

Completed in 112 milliseconds