Home | History | Annotate | Download | only in Checkers

Lines Matching defs:Binding

2222   // do not report the binding.
3222 const RefVal *Binding = 0;
3224 Binding = getRefBinding(state, Sym);
3231 if (Binding)
3232 state = setRefBinding(state, Sym, *Binding);
3264 // Get the reference count binding (if any).
3297 // Update the binding.
3318 // Get the updated binding.
3421 // (1) we are binding to something that is not a memory region.
3422 // (2) we are binding to a memregion that does not have stack storage
3423 // (3) we are binding to a memregion with stack storage that the store
3431 // To test (3), generate a new state with the binding added. If it is
3433 // the binding).
3448 // If our store can represent the binding and we aren't storing to something
3515 // Remove any existing reference-count binding.