[splint-discuss] A preprocessing error when run Splint on RTW generated code

[Ludolf Holzheid]

On Wed, 2011-09-28 10:29:58 -0700, Shelley Dong wrote:
> Hello there,
> 
> We are currently using Splint to do static analysis on the code generated by RTW from Simulink models. There are some preprocessing code auto generated to error out the compiling process when certain conditions are true, usually boundary checks. Splint was not able to preprocess and produce errors. I attached one of them below. We are wondering if anybody else ever reported similar issues and if Splint works fine with auto generated code. Thanks for your answer.                  - Shelley
> 
> C:\...\ HVCM_private.h (35,
>     440): #error "Code was generated for compiler with different sized
>     ushort/short. Consider adjusting Emulation Hardware word size settings on
>     the Hardware Implementation pane to match your compiler word sizes as
>     defined in the compilers limits.h header file. Alternatively, you can
>     select 'None' for Emulation Hardware and select the 'Enable portable word
>     sizes' option for ERT based targets, this will disable the preprocessor
>     word size checks."
> Preprocessing error. (Use -preproc to inhibit warning)

Shelley,

This has nothing to do with the code being auto-generated or not.
Splint hits an #error directive in your code, probably due to running
with a different set of (pre-) defined symbols than your compiler.

You'll have to look at line 35 of HVCM_private.h to figure out what's
going wrong and to determine a set of symbols that makes splint take
the same code paths than your compiler.

HTH,

Ludolf

-- 

---------------------------------------------------------------
Ludolf Holzheid             Tel:    +49 621 339960
Bihl+Wiedemann GmbH         Fax:    +49 621 3392239
Floßwörthstraße 41          e-mail: lholzheid at bihl-wiedemann.de
D-68199 Mannheim, Germany
---------------------------------------------------------------