svadev AT lists.siebelschool.illinois.edu
Subject: Svadev mailing list
List archive
- From: Santosh Nagarakatte <santoshn AT cis.upenn.edu>
- To: svadev AT cs.uiuc.edu
- Subject: [svadev] SafeCode build fails with gcc-4.4.1
- Date: Fri, 3 Sep 2010 14:49:00 -0400
- List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
- List-id: <svadev.cs.uiuc.edu>
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
- [svadev] SafeCode build fails with gcc-4.4.1, Santosh Nagarakatte, 09/03/2010
- Re: [svadev] SafeCode build fails with gcc-4.4.1, Criswell, John T, 09/07/2010
Archive powered by MHonArc 2.6.16.