Version : R2021a
language : C
C version : C11
Compiler : ti
Target : C28x
Project : TMS320F28374s
Error :
—

File D:CCS_workspacePolyspace testPatriotSafetyMonitor_SL1_SL2_20240710_058.000_Gen3C2000_18_12_2_LTS_Includestdlib.h line 294

Error: declaration is incompatible with "long __euclidean_div_i32byu32(long, unsigned long, unsigned long)" (declared at line 50 of "C:Program FilesPolyspaceR2021apolyspaceverifierextensionstitmw_builtinsc28x.h")
__euclidean_div_i32byu32(long numerator, unsigned long denominator);
^

When performing Bug Finder analysis, an incompatibility occurs between Polyspace’s C28x.h and my .h file. However, the same program does not exhibit these issues on some computers. I hope to identify the true cause to ensure the program is error-free. Could you please explain the role of C28x.h in the analysis? Additionally, is it reasonable to modify C28x.h?Version : R2021a
language : C
C version : C11
Compiler : ti
Target : C28x
Project : TMS320F28374s
Error :
—

File D:CCS_workspacePolyspace testPatriotSafetyMonitor_SL1_SL2_20240710_058.000_Gen3C2000_18_12_2_LTS_Includestdlib.h line 294

Error: declaration is incompatible with "long __euclidean_div_i32byu32(long, unsigned long, unsigned long)" (declared at line 50 of "C:Program FilesPolyspaceR2021apolyspaceverifierextensionstitmw_builtinsc28x.h")
__euclidean_div_i32byu32(long numerator, unsigned long denominator);
^

When performing Bug Finder analysis, an incompatibility occurs between Polyspace’s C28x.h and my .h file. However, the same program does not exhibit these issues on some computers. I hope to identify the true cause to ensure the program is error-free. Could you please explain the role of C28x.h in the analysis? Additionally, is it reasonable to modify C28x.h? Version : R2021a
language : C
C version : C11
Compiler : ti
Target : C28x
Project : TMS320F28374s
Error :
—

File D:CCS_workspacePolyspace testPatriotSafetyMonitor_SL1_SL2_20240710_058.000_Gen3C2000_18_12_2_LTS_Includestdlib.h line 294

Error: declaration is incompatible with "long __euclidean_div_i32byu32(long, unsigned long, unsigned long)" (declared at line 50 of "C:Program FilesPolyspaceR2021apolyspaceverifierextensionstitmw_builtinsc28x.h")
__euclidean_div_i32byu32(long numerator, unsigned long denominator);
^

When performing Bug Finder analysis, an incompatibility occurs between Polyspace’s C28x.h and my .h file. However, the same program does not exhibit these issues on some computers. I hope to identify the true cause to ensure the program is error-free. Could you please explain the role of C28x.h in the analysis? Additionally, is it reasonable to modify C28x.h? polyspace, bug finder MATLAB Answers — New Questions

​