Compilation Error encountered while running Polyspace Bug Finder.

Version : R2021a

language : C

C version : C11

Compiler : ti

Target : C28x

Project : TMS320F28374s

Error :

---

File D:\CCS_workspace\Polyspace test\PatriotSafetyMonitor_SL1_SL2_20240710_058.000_Gen3\C2000_18_12_2_LTS_Include\stdlib.h line 294

Error: declaration is incompatible with "long __euclidean_div_i32byu32(long, unsigned long, unsigned long)" (declared at line 50 of "C:\Program Files\Polyspace\R2021a\polyspace\verifier\extensions\ti\tmw_builtins\c28x.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?

[Walter Roberson]

Hmmm... (long, unsigned long, unsigned long) is certainly incompatible with (long numerator, unsigned long denominator) as it has too many parameters.

But why is this happening?

[Christian Bard]

The prototype of the function has been updated with Polyspace Bug Finder R2022b. It seems reasonable to modify prototype in ...R2021a\polyspace\verifier\extensions\ti\tmw_builtins\c28x.h accordingly to stdlib.h

[su sheng jie]

It seems that it's still necessary to modify the conflicting line in C28x.h. Is it reasonable to comment out this line?