Re: [PATCH 10/10] add UNLEAK annotation for reducing leak false positives

From: Kaartic Sivaraam <kaarticsivaraam91196@gmail.com>
Date: Sep 13, 2017, 07:13 UTC
Message-ID: <2320e1ea-4a8a-543c-7b9e-c40d6c07288a@gmail.com>
In-Reply-To: <20170912150541.fkgnxddv6z223h3d@sigill.intra.peff.net>

On Tuesday 12 September 2017 08:35 PM, Jeff King wrote:

> But theta-well isn't a pun. :P

:)

Show 5 quoted lines

> It is true that prepending to a linked list is also Θ(1), but I'm not
> sure if it's carelessness that causes many programmers to use big-O.
> It's that what we care about is worst-case performance. So knowing that
> we have a lower bound isn't usually that interesting. What we want to
> know is whether it will blow up in our face as "n" gets large.

This seems quite acceptable.

> Plus typing non-ascii characters is annoying. :)

I expected this to be a reason. :)

--- Kaartic

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.