Why is Polyspace producing compilation errors when I have all the C and H files mentioned in the Source directory of Project in Polyspace 8.3 (R2012a)?

In the Polyspace Project, the structure of my files included are :

 myProject

 -Source

     -Includes

         -All H files

     -Source

         -All C files

 -Include

     -Directory having all the H files

 -Module

     -Source

         -Includes

             - All H files

         -Source

             - All C files

     -Configuration

         - Configuration file

     -Results

         - Result directory

One of the H file, has all the definitions of variables /typedef/declarations and other H files refer to those.

While running Polyspace verification, the compilation step fails saying some of the typedefs are 'undefined' as:

 a.h, line 66: error: identifier "float32_t" is undefined

Although 'float32_t.h' is defined in 't.h'.

Answer 1

[MathWorks Support Team]

The H files should only be included as a directory in project structure, as below :

 myProject

 -Source

     -sources

         -All C files

 -Include

     -Directory having all the H files

 -Module

     -Source

         -sources

             - All C files

     -Configuration

         - Configuration file

     -Results

         - Result directory

This way H files inter-dependency is resolved.