On 02/04/2019 15:37, Daniel Borkmann wrote: > If we really want to have a kernel warn, then lets add a > helper macro verbose_and_warn(...) which will trigger a one-time warning, but > keeps > the verbose log intact as well. +1
Any time the verifier detects that its internal invariants have been broken, logging a warning is the right thing to do, just like any other part of the kernel.
