[PING^3] [PATCH] analyzer: Add missing overrides and a cast, remove unused variables

Hi David,

I'd like to gently ping these patches.

Thanks,
Filip Kastl

On Mon 2026-07-20 14:25:44, Filip Kastl wrote:
> Hello.
> 
> Another ping for this patch.
> 
> Cheers,
> Filip Kastl
> 
> On Sat 2026-07-04 07:44:36, Filip Kastl wrote:
> > I'd like to ping this patch.
> > 
> > https://gcc.gnu.org/pipermail/gcc-patches/2026-June/720905.html
> > 
> > Also Andrea Pinski suggested a minor (basically stylistic) change to the patch.
> > What do you prefer, David?
> > 
> > https://gcc.gnu.org/pipermail/gcc-patches/2026-June/721007.html
> > https://gcc.gnu.org/pipermail/gcc-patches/2026-June/721008.html
> > 
> > Cheers,
> > Filip Kastl
> > 
> > On Sat 2026-06-20 15:48:10, Filip Kastl wrote:
> > > On Fri 2026-06-19 10:33:56, Filip Kastl wrote:
> > > > Hi David.
> > > > 
> > > > I haven't regstrapped this patch yet.  If you're ok with it, I'll regstrap and
> > > > push it.
> > > 
> > > I've regstrapped it just now (on a x86_64 linux system) so the patch is ready
> > > to be pushed if you like it.
> > > 
> > > Cheers,
> > > Filip Kastl