I have the same problem with Polyspace 2014a. I don't see sensible reason for this. Maybe this is a bug in Polyspace?
Red Issue in PS generated stubb
1 次查看(过去 30 天)
显示 更早的评论
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
回答(0 个)
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Troubleshooting in Polyspace Products for Ada 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!