[PATCH V2 2/8] bpf: new GCC port

[Jonathan Corbet]

On Tue, 20 Aug 2019 23:14:35 +0200
jose.marchesi@oracle.com (Jose E. Marchesi) wrote:

> The kernel verifier doesn't allow backward jumps.
> 
> This may change at some point.  There is much discussion among the
> kernel hackers in whether it is possible to allow bounded loops in a
> safe way.  In that case, some of the restrictions may be lifted.

Actually, bounded loops are supported and allowed in the 5.3 kernel.

	https://lwn.net/Articles/794934/

jon