Svadev mailing list

["Criswell, John T" <criswell AT ad.uiuc.edu>]

Dear Santosh,

Sorry for the delay in responding; I was off in Chicago on vacation.
:)

I've modified mainline SAFECode to include a cast which I believe will fix 
the error.  Assuming that you're using mainline SAFECode, can you do an svn 
up and see if it fixes the warning with your version of GCC?

As an aside, the SAFECode tool defaults to Jones/Kelley behavior; it does not 
use Automatic Pool Allocation (APA) as described in our publications.  You 
can use an option to the sc tool to turn APA on, although it probably won't 
work very well (if at all).

The APA code and the parts of SAFECode that interface with it have suffered 
some bitrot; we are now in the process of updating/fixing APA (and DSA, too) 
and will then fix SAFECode to use it again.

-- John T.

________________________________________
From: 
svadev-bounces AT cs.uiuc.edu
 
[svadev-bounces AT cs.uiuc.edu]
 On Behalf Of Santosh Nagarakatte 
[santoshn AT cis.upenn.edu]
Sent: Friday, September 03, 2010 1:49 PM
To: 
svadev AT cs.uiuc.edu
Subject: [svadev] SafeCode build fails with gcc-4.4.1

SafeCode build fails with the new version of gcc. I am using gcc-4.4.1 
because of incompatible casts being used.
I am using the trunk version from the svn with llvm-2.7

To enable it to compile with gcc-4.4.1, I had to change the line 37 in 
runtime/DebugRuntime/CStdLib.cpp from

return (end? end - s : maxlen);

to

size_t t1 = (size_t) end;
size_t t2 = (size_t) s;
return (t1? t1 - t2: maxlen);

Santosh

--
Santosh G Nagarakatte,
PhD Student,
Computer and Information Science Department
University of Pennsylvania,
Philadelphia-19104
http://www.cis.upenn.edu/~santoshn