Lines Matching refs:reachable

67 turns out to be reachable. This requires no work on checker side, but it sounds
141 > a region turns out to be reachable. This requires no work on checker side,
160 reachable from here exists another region of type T". Or even multiple regions
161 with different identifiers. This wouldn't specify how the memory is reachable,
165 For ``std::initializer_list`` this reachable region would the region for the backing
184 this to be in the store: we are modeling reachable storage as storage. But if
192 > that meant "here is a memory region and somewhere reachable from here exists
194 > identifiers. This wouldn't specify how the memory is reachable, but it would
203 region. Region contents are mutable: today the abstract storage is reachable
205 reachable, something that isn't even abstract. So the parent region for the
210 > For std::initializer_list this reachable region would the region for the
248 reachable symbols and regions) that cannot work without checker support.
259 is expressed naturally, and the store automagically sees reachable symbols, live
289 > sense for this to be in the store: we are modeling reachable storage as