Re: Problem report #86

[Kim F. Storm]

Dan Nicolaescu <address@hidden> writes:

> This appeared around June 12th. 
> The warning seems correct to me. Does anybody know what is the right
> way to fix this? 

I installed a fix.

>
>
> CID: 86
> Checker: DEADCODE (help)
> File: base/src/emacs/src/dispnew.c
> Function: sit_for
> Description: Conditional "sec >= 0"
>
> 6488         /* This is just like wait_reading_process_output, except
> that
> 6489       it does the redisplay.
> 6490       
> 6491          It's also much like Fsit_for, except that it can be used
> for
> 6492       waiting for input as well.  */
> 6493       
> 6494       Lisp_Object
> 6495       sit_for (sec, usec, reading, display, initial_display)
> 6496            int sec, usec, reading, display, initial_display;
> 6497            {
>
> Event dead_error_line: Cannot reach this line of code
> Event dead_error_condition: On this path, the condition "sec == 0"
> could not be true
> Event at_most: After this line, the value of "sec" is at most -1
> Event new_values: Conditional "sec >= 0"
> Also see events: [dead_error_condition][at_most][new_values]
>
> 6498       int preempt = (sec >= 0) || (sec == 0 && usec >= 0);
> 6499       
> 6500         swallow_events (display);
> 6501         

-- 
Kim F. Storm <address@hidden> http://www.cua.dk