Home | History | Annotate | Download | only in Checkers

Lines Matching defs:Binding

2164   // do not report the binding.
3129 RefBindings::data_type *Binding = 0;
3131 Binding = state->get<RefBindings>(Sym);
3138 if (Binding)
3139 state = state->set<RefBindings>(Sym, *Binding);
3177 // Get the reference count binding (if any).
3210 // Update the binding.
3232 // Get the updated binding.
3336 // (1) we are binding to something that is not a memory region.
3337 // (2) we are binding to a memregion that does not have stack storage
3338 // (3) we are binding to a memregion with stack storage that the store
3346 // To test (3), generate a new state with the binding added. If it is
3348 // the binding).
3359 // If our store can represent the binding and we aren't storing to something
3425 // Remove any existing reference-count binding.