Re: WARNING in mark_chain_precision

From: Andrii Nakryiko
Date: Tue Jul 09 2019 - 14:55:31 EST


Original reproducer is almost identical to the one that is fixed by
https://patchwork.ozlabs.org/patch/1129479/.

bpf_prog_free_deferred bug that's undeterministically exposed after
this fix seems to be the cause of a bunch of other bug reports and is
not related to verifier precision tracking.

#syz dup: WARNING in __mark_chain_precision