Red Issue in PS generated stubb

1 次查看(过去 30 天)
Thomas
Thomas 2015-5-7
评论: Dimo 2015-10-6
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 个评论
Dimo
Dimo 2015-10-6
I have the same problem with Polyspace 2014a. I don't see sensible reason for this. Maybe this is a bug in Polyspace?

请先登录,再进行评论。

回答(0 个)

类别

Help CenterFile 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!

Translated by