On 29/09/2011, at 6:29 AM, Shelley Dong wrote: > 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."
This seems remarkably clear. The program that generated the C code made certain assumptions about sizeof (short) and sizeof (unsigned short). Splint makes other assumptions. HVCM_private.h has noted the discrepancy. Do what the error message says: change the parameters in the Hardware Implementation pane and regenerate, or do the Enable portable word sizes thing. _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
