[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-dev] compcert support

It's a good idea. I can do it.

- Yang

On 8/10/2011 9:02 PM, John Regehr wrote:
I should add that I've been doing some CompCert testing lately w/o the
special --ccomp flag to Csmith and it works fine. It seems that many
CompCert limitations have disappeared in the last year or two. I was
thinking about pulling all of the CompCert-specific code out of Csmith.


On 08/10/2011 09:58 PM, John Regehr wrote:
Can someone explain the code below? Why would we want to omit the L only
when someone wants to target CompCert? It's from Constant.cpp.


static string
string ch;
if (CGOptions::ccomp())
ch = string("0x") + RandomHexDigits(2);
ch = string("0x") + RandomHexDigits(2) + "L";
return ch;