Svadev mailing list

[Matthew Wala <wala1 AT illinois.edu>]

On Wed, Oct 5, 2011 at 1:46 AM, geremy condra 
<debatem1 AT gmail.com>
 wrote:
> On Tue, Oct 4, 2011 at 10:40 PM, Vikram Adve 
> <vadve AT illinois.edu>
>  wrote:
>> Geremy,
>>
>> Just curious ... are you using SAFECode on some kind of open source 
>> program?  Or some personal code?  And how large is the code base?  Thanks 
>> for any details,
>
> I've just been experimenting with it, I'm mostly interested in seeing
> what currently exists in the CFI and DFI space. Depending on how
> things go there are a few directions that may be interesting, but
> right now that seems pretty far off.
>
> On another note, sorry not to have sent the errors for you yesterday,
> had a hardware failure. They occur during the make for safecode and
> follow this message.
>
> Thanks for your help, all!
> Geremy Condra
>
>
> cc1plus: warnings being treated as errors
> FormatStrings.cpp: In function ‘void pool_err(void*, int, void*, ...)’:
> FormatStrings.cpp:609: error: format not a string literal and no
> format arguments
> FormatStrings.cpp: In function ‘void pool_errx(void*, int, void*, ...)’:
> FormatStrings.cpp:649: error: format not a string literal and no
> format arguments
> FormatStrings.cpp: In function ‘void pool_warn(void*, void*, ...)’:
> FormatStrings.cpp:692: error: format not a string literal and no
> format arguments
> FormatStrings.cpp: In function ‘void pool_warnx(void*, void*, ...)’:
> FormatStrings.cpp:738: error: format not a string literal and no
> format arguments
> FormatStrings.cpp: In function ‘void pool_syslog(void*, int, void*, ...)’:
> FormatStrings.cpp:776: error: format not a string literal and no
> format arguments
> make[2]: *** 
> [/home/user/llvm27/projects/safecode/runtime/DebugRuntime/Release/FormatStrings.o]
> Error 1
>
> _______________________________________________
> svadev mailing list
> svadev AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/svadev
>

I think I know what the problem is.
Could you try applying the following patch?

Matt

Attachment: patch
Description: Binary data