Red Issue in PS generated stubb
1 Ansicht (letzte 30 Tage)
Ältere Kommentare anzeigen
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 Kommentar
Dimo
am 6 Okt. 2015
I have the same problem with Polyspace 2014a. I don't see sensible reason for this. Maybe this is a bug in Polyspace?
Antworten (0)
Siehe auch
Kategorien
Mehr zu Run Settings finden Sie in Help Center und File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!