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.
John
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.
John
static string
GenerateRandomCharConstant(void)
{
string ch;
if (CGOptions::ccomp())
ch = string("0x") + RandomHexDigits(2);
else
ch = string("0x") + RandomHexDigits(2) + "L";
return ch;
}