Teach CIL about a big batch of GCC builtin functions.  Some of these might be new to GCC 4.0, but most have probably been around for a while.
Teach CIL about a big batch of GCC builtin functions.  Some of these
might be new to GCC 4.0, but most have probably been around for a
while.

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c