On Tue, Dec 1, 2009 at 4:30 AM, Thomas Schmid <Thomas.Schmid@xxxxxxxxxxxxxxxxx> wrote: > Of course: I wrote a tool, which converts C-declarations into another > format (IEC61131). > These generated declarations are used as a interface to communicate to > programs of different languages. > This IEC-format uses datatypes, which are not known in ANSI C, such as the > following: > > typedef signed long DINT; > typedef unsigned long UDINT; > typedef signed long TIME; > typedef unsigned long DATE_AND_TIME; > typedef unsigned short UINT; > typedef unsigned short WSTRING; > So you only use sparse as a C source code processing tool. You don't care about the back end part of the sparse right? In that case, you can try this one line patch. It should preserve the typedef symbol as the base type. I will not commit that to main line though. Will that work for you? Chris
Attachment:
0001-hacking-preserve-typedef-name.patch
Description: Binary data
