Klever

Please, clarify in the topic whether you just expect that SA will extract this information or EMG will use it when generating environment model.

SA for each signature extracted during source code analysis should set flag (for example) which identify that the type is incomplete in module scope. This should be taken into account by EMG to avoid memory allocation for them. Instead it should initialize them as undefined pointers.

We decided to temporarily avoid allocation of memory for incomplete types. Later we will need to discover why is this required and how to properly do this.

Current implementation of EMG does not provide size of a type correctly to avoid the problem but memory allocation function still should have such parameter to be used in EMG.

The problem also cause errors like 'dereferencing pointer to incomplete type'.