Home | History | Annotate | Download | only in analyzer

Lines Matching defs:bindings

911 /* Populate OUT with all bindings within this map that overlap KEY.  */
943 /* Remove, truncate, and/or split any bindings within this map that
982 and at the "f.arr[3] = 42;" we remove the bindings overlapping
1006 distinct concrete bindings in the map. Remove all bindings, but
1015 /* Get the bindings of interest within this map. */
1016 auto_vec<const binding_key *> bindings;
1019 bindings.safe_push (iter.first); /* Add all bindings. */
1021 /* Just add overlapping bindings. */
1022 get_overlapping_bindings (drop_key, &bindings);
1026 FOR_EACH_VEC_ELT (bindings, i, iter_binding)
1031 Specifically, if at least one of the bindings is symbolic, or we
1326 /* Remove all bindings overlapping REG within this cluster. */
1334 /* Remove any bindings for REG within this cluster. */
1374 Remove any bindings overlapping REG_FOR_OVERLAP.
1376 had bindings to them removed, as being maybe-bound.
1451 Fix this issue by iterating upwards whilst the bindings are equal,
1489 either directly for REG, or recursively checking for bindings within
1542 /* Alternatively, if this is a symbolic read and the cluster has any bindings,
1559 /* Attempt to get a compound_svalue for the bindings within the cluster
1562 Create a compound_svalue with the subset of bindings the affect REG,
1591 splitting its bindings as necessary.
1628 /* Skip bindings that are outside the bit range of REG. */
1690 /* Can't handle symbolic bindings. */
1697 /* Merge any bindings from default_map into result_map. */
1708 bindings within this map that
1961 i.e. if there are no bindings, and it hasn't been marked as having
2476 /* Bindings to a cluster can affect other clusters if a symbolic
2614 /* Remove all bindings overlapping REG within this store. */
2632 /* Remove any bindings for REG within this store. */
2887 /* Find all bindings that reference SVAL. */
2906 /* Remove all bindings overlapping REG within this store, removing
2968 /* Locate heap-allocated regions that have empty bindings that weren't
3021 Find bindings to widening values in OTHER_STORE.
3238 /* Various 8-bit bindings. */
3244 /* 16-bit bindings. */
3262 /* Verify the 8-bit bindings that don't overlap each other. */
3266 /* Check for overlap of differently-sized bindings. */