kerneis/cpc — pull request #8 by cs648 (2013-08-05 21:57:13+00:00)
Title: Fix issue #7 by adding some more GCC builtin functions to CIL

Fixes issue #7