Re: [PATCH v2] analyzer: Model strnlen

Hi David,

I'm following up on my v2 patch (
https://gcc.gnu.org/pipermail/gcc-patches/2026-March/711789.html) for
modeling strnlen in the analyzer, which addressed your review comments. I
was wondering if you've had a chance to take another look.

If there are any further changes needed, I'd be happy to update the patch.

I'm also interested in continuing to contribute to the GCC analyzer as an
open source contributor. I'd be interested in working on implementing some
of the additional analyzer models that I proposed in my GSoC 2026 proposal,
if that would be useful.

Thanks,

Saish Sandip Kambali