Lines Matching full:labels

69 ABI or whether it should use a variant of this ABI that also propagates labels
71 how labels are propagated in the former case.  DataFlowSanitizer comes with a
88   memory, it also updates labels in shadow memory (this condition is trivially
117 propagate labels in shadow memory.
141 category, which will make all stores and return values set zero labels.
159 * ``-dfsan-combine-pointer-labels-on-load`` -- Controls whether to include or
160   ignore the labels of pointers in load instructions. Its default value is true.
171 * ``-dfsan-combine-pointer-labels-on-store`` -- Controls whether to include or
172   ignore the labels of pointers in store instructions. Its default value is
183 * ``-dfsan-combine-offset-labels-on-gep`` -- Controls whether to propagate
184   labels of offsets in GEP instructions. Its default value is true. For example:
200 If the flag is true, the label of ``v`` is the union of the labels of ``b``,
202 labels of just ``v1`` and ``v2``.
272 * ``strict_data_dependencies`` -- Whether to propagate labels only when there is
291 DataFlowSanitizer supports up to 8 labels, to achieve low CPU and code
292 size overhead. Base labels are simply 8-bit unsigned integers that are
293 powers of 2 (i.e. 1, 2, 4, 8, ..., 128), and union labels are created
294 by ORing base labels.
297 the correct labels are propagated.