On Tue, Feb 25, 2014 at 11:30:41PM +0100, Jan Smets wrote:
> Can CIL support this GCC extension?

Not currently. It would be possible to add in principle, but…

> file.h[80:9-17] : syntax error
> Parsing errorFatal error: exception Frontc.ParseError("Parse error")
> 
> If it can't be supported, is there a way to get around this?

The only time I needed int128_t was to compile QEMU, and they have a
configure script which detects whether it is supported or not, and
work around it with #define and helper functions. Obviously, if you are
working with a code base where developpers are not worried about
portability, this will not help you.

If you are lucky enough to use a platform where long long is 128-bit
wide, then just use a typedef. Otherwise, I see no solution.  The
problem is that intXX_t types are defined as macros in stdint.h: 
http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/stdint.h.html
and CIL follows that assumption.  But this does not hold for int128_t,
and you would need to hack CIL representation of types and integers all
over the place to support them.

Best,
-- 
Gabriel

------------------------------------------------------------------------------
Flow-based real-time traffic analytics software. Cisco certified tool.
Monitor traffic, SLAs, QoS, Medianet, WAAS etc. with NetFlow Analyzer
Customize your own dashboards, set traffic alerts and generate reports.
Network behavioral analysis & security monitoring. All-in-one tool.
http://pubads.g.doubleclick.net/gampad/clk?id=126839071&iu=/4140/ostg.clktrk
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to