Re: [csmith-dev] compcert support

[John Regehr <regehr@cs.utah.edu>]

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;
> }