Problem report #86

Problem report #86

[Dan Nicolaescu]

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


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         

Re: Problem report #86

[Kim F. Storm]

Dan Nicolaescu <dann@ics.uci.edu> 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 <storm@cua.dk> http://www.cua.dk

Re: Problem report #86

[Dan Nicolaescu]

storm@cua.dk (Kim F. Storm) writes:

  > Dan Nicolaescu <dann@ics.uci.edu> 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.

Thanks!

This was the last problem report that was unresolved.