Non-initialized variable in __polyspace_main.c

13 次查看（过去 30 天）
Patricia
Patricia 2016-1-25
回答： Lucas Lebert 2017-12-12
If I enable the option "Ignore default initialization of global variables", I get orange alarms on the Macro PST_TRUE() in the __polyspace_main.c, which is the volatile variable pst_random_int. I want the Code Prover to detect not-initialized variables in my code, but not to use non-initialized in the automatically generated main. My expectation is that polyspace handles the self-generated global variables for itself and only report errors on code like this:
uint8 myGlobalVariable;
void main()
{
uint8 a;
a = myGlobalVariable;
}
What have I to adjust to get the behavior described above? And why does I get alarms on the generated Polyspace files at all?

请先登录，再回答此问题。

回答（1 个）

Lucas Lebert
Lucas Lebert 2017-12-12
Hi, Patricia! Unfortunately, there's no workaround for this NIV orange check prior to R2017a. Starting in R2017a, the global variable in the generated main should no longer be raised. If the issue still persists in more recent releases, feel free to contact the MathWorks technical support. Have a great day, Lucas

类别

在 Help Center 和 File Exchange 中查找有关 Generate Report 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by