Re: Problem report #123: base/src/emacs/src/casefiddle.c (casify_region); UNINIT

[Chong Yidong]

Dan Nicolaescu <address@hidden> writes:

> CID: 123
> Checker: UNINIT (help)
> File: base/src/emacs/src/casefiddle.c
> Function: casify_region
> Description: Using uninitialized value "last"

This is bogus.  The variable "last" always has an assigned value if
"first" is non-zero, as is the case here.

> 211     EMACS_INT first = -1, last;
...
> 254         if (c != c2)
> 255           {
> 256             last = start;
> 257             if (first < 0)
> 258               first = start;
...
> At conditional (21): "first >= 0" taking true path
>
> 299     if (first >= 0)
> 300       {
>
> Event uninit_use: Using uninitialized value "last"
> Also see events: [var_decl]
>
> 301         signal_after_change (first, last + 1 - first, last + 1 - first);