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