Red Issue in PS generated stubb
1 visualizzazione (ultimi 30 giorni)
Mostra commenti meno recenti
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
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?
Risposte (0)
Vedere anche
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!