Hi,
thanks for the fixing. I noticed that the builtin for swap16 is also
missing. I attached a patch that adds it. Feel free to apply it.
Cheers,
Oliver
On 2014-11-11 20:50, Ben Liblit wrote:
I recently reported a CIL bug regarding missing support for some new
"__atomic_*" GCC builtins: <https://sourceforge.net/p/cil/bugs/149/>. I
fixed that bug later the same day, as I do still have commit rights for
the CIL repository. However, it seems I do not have the power to close
bug reports. Gabriel, would you please close
<https://sourceforge.net/p/cil/bugs/149/> to reflect my committed fix?
Please consider making a new CIL 1.7.4 release with this fix as well.
Without the fix, I am unable to use CIL to build instrumented versions
of recent GNOME software, which is something that's fairly important to
me. I'd especially like to be able to do that under Fedora 21, which is
now in beta. If we can do a new CIL release with this fix, I'm hoping
that I can then ping the Fedora CIL package maintainer to pick that up
in time for Fedora 21.
Thanks,
Ben
------------------------------------------------------------------------------
Comprehensive Server Monitoring with Site24x7.
Monitor 10 servers for $9/Month.
Get alerted through email, SMS, voice calls or mobile push notifications.
Take corrective actions from your mobile device.
http://pubads.g.doubleclick.net/gampad/clk?id=154624111&iu=/4140/ostg.clktrk
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
From f7ca8992341395c83e2a6c0a0986eeedc4b8fbf2 Mon Sep 17 00:00:00 2001
From: Oliver Schwahn <o...@cs.tu-darmstadt.de>
Date: Mon, 18 Aug 2014 15:14:10 +0200
Subject: [PATCH] Added support for GCC builtin function __builtin_bswap16
---
src/cil.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/cil.ml b/src/cil.ml
index 41c61b7..c1d8638 100755
--- a/src/cil.ml
+++ b/src/cil.ml
@@ -2891,6 +2891,7 @@ let initGccBuiltins () : unit =
with Not_found ->
()
in
+ addSwap 16;
addSwap 32;
addSwap 64;
--
1.9.1
------------------------------------------------------------------------------
Comprehensive Server Monitoring with Site24x7.
Monitor 10 servers for $9/Month.
Get alerted through email, SMS, voice calls or mobile push notifications.
Take corrective actions from your mobile device.
http://pubads.g.doubleclick.net/gampad/clk?id=154624111&iu=/4140/ostg.clktrk
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
