Home | History | Annotate | Download | only in Checkers

Lines Matching defs:Binding

2186   // do not report the binding.
3160 const RefVal *Binding = 0;
3162 Binding = getRefBinding(state, Sym);
3169 if (Binding)
3170 state = setRefBinding(state, Sym, *Binding);
3202 // Get the reference count binding (if any).
3235 // Update the binding.
3256 // Get the updated binding.
3358 // (1) we are binding to something that is not a memory region.
3359 // (2) we are binding to a memregion that does not have stack storage
3360 // (3) we are binding to a memregion with stack storage that the store
3368 // To test (3), generate a new state with the binding added. If it is
3370 // the binding).
3385 // If our store can represent the binding and we aren't storing to something
3452 // Remove any existing reference-count binding.