bpf/progs/verifier_scalar_ids.c

7 /* Check that precision marks propagate through scalar IDs.
8  * Registers r{0,1,2} have the same scalar ID at the moment when r0 is
161 /* Check that precision marks propagate through scalar IDs.
162  * Use the same scalar ID in multiple stack frames, check that
296 /* Use two separate scalar IDs to check that these are propagated
347  * r6 = ... unbound scalar ID=a ...
348  * r7 = ... unbound scalar ID=b ...
403  * mark_chain_precision() to track scalar values with equal IDs.
450 /* Check that scalar IDs *are not* generated on register to register
474 	/* possibly generate same scalar ids for r3 and r4 */  in __flag()
481 	/* possibly generate different scalar ids for r3 and r4 */  in __flag()
510 	/* possibly generate same scalar ids for r3 and r4 */  in __flag()
517 	/* possibly generate different scalar ids for r3 and r4 */  in __flag()
532 /* Check that unique scalar IDs are ignored when new verifier state is
572 /* Check that unique scalar IDs are ignored when new verifier state is
614 /* Check that two different scalar IDs in a verified state can't be
615  * mapped to the same scalar ID in current state.
629 	/* Give unique scalar IDs to r{6,7} */  in __flag()