From: Jeff King Date: Tue, 01 Sep 2026 05:03:11 GMT Subject: Re: [PATCH v2 0/7] trace2: stop allowing die() Message-ID: <20260901050311.GA1077240@coredump.intra.peff.net> In-Reply-To: <20260901050129.GB1075462@coredump.intra.peff.net> On Tue, Sep 01, 2026 at 01:01:30AM -0400, Jeff King wrote: > > I don't have much knowledge of CodeQL, but the following vibe-coded > > .ql script is able to detect these transitive calls and demonstrate > > the issue: > > Yeah, I think the whack-a-mole can be solved with static analysis that > actually understands the complete (possible) call tree. And then you > wouldn't even really need your banned-die.h, because you'd have the real > thing. Just to be clear, I am not opposed to banned-die.h in the meantime if it is helpful to your goals. The whack-a-mole is not something I would choose to spend time on, but you are welcome to. ;) -Peff