Sebastian Huber started a new discussion on spec/rtems/task/req/restart.yml: 
https://gitlab.rtems.org/rtems/prequal/rtems-central/-/merge_requests/13#note_134885

 >        if ( ctx->interrupt || ctx->nested_request ) {
 >          if ( ctx->blocked ) {
 >            SetFatalHandler( ResumeThreadDispatch, ctx );
 > -          cpu_self = _Thread_Dispatch_disable();
 > +          (void) _Thread_Dispatch_disable();
 >  
 >            if ( setjmp( ctx->thread_dispatch_context ) == 0 ) {

I reviewed the complete function. From my point of view this warning is a false 
positive. From searching the internet, it seems the `-Wclobbered` warning is 
prone to produce false positives. The `ctx` is also a non-volatile local 
variable. It is just a matter of time before it produces a warning as well. I 
need more time to review this. Some suggest to move the setjmp() call to a 
separate function without local variables.

-- 
View it on GitLab: 
https://gitlab.rtems.org/rtems/prequal/rtems-central/-/merge_requests/13#note_134885
You're receiving this email because of your account on gitlab.rtems.org.


_______________________________________________
bugs mailing list
[email protected]
http://lists.rtems.org/mailman/listinfo/bugs

Reply via email to