Azzera filtri
Azzera filtri

Red Issue in PS generated stubb

1 visualizzazione (ultimi 30 giorni)
Thomas
Thomas il 7 Mag 2015
Commentato: Dimo il 6 Ott 2015
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
  1 Commento
Dimo
Dimo il 6 Ott 2015
I have the same problem with Polyspace 2014a. I don't see sensible reason for this. Maybe this is a bug in Polyspace?

Accedi per commentare.

Risposte (0)

Categorie

Scopri di più su Troubleshooting in Polyspace Products for Ada in Help Center e File Exchange

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by