Red Issue in PS generated stubb

Hi again, next problem ;-) In a switch case I have following "default" (macros extended):

default:
{
(
  (void)
  ( !(0) ? ((void)0), *trigger_Set()*
                    , panic_set_error_code((ePanic_enum_1))
                    , panic_set_error_line("long text", __func__, 1247)
                    , breakpoint()
                    , (
                        (void)
                        ( !((0)) ? assert_SaveErrorCode("long text", __func__, (uint16_t)1247)
                                    , status_set(eModule_libs, (eStatusError))
                                    , breakpoint()
                                    , 0 : 0
                        )
                      )
                    , 0 : 0
  )
);
return;
}

The function "trigger_set()" is stubbed by PS! and looks like this:

__PST__VOID trigger_Set(__PST__VOID)
{
    /* function is pure */

      return;
  }

Now PS says "Non terminating call" (Red) for that trigger-function. Question: Could it be, that the wrong syntax of the Ternay operator (?:) leads to that Red? Thanks a lot for your time. Thomas

[Dimo]

I have the same problem with Polyspace 2014a. I don't see sensible reason for this. Maybe this is a bug in Polyspace?