Re: [creduce-dev] Avoiding syntax warnings and errors

2018-03-15 Thread Moritz Pflanzer
Hi John, > On 14 Mar 2018, at 14:53, John Regehr wrote: > > Regarding try-catch, yes, we'd like to have a pass for that. I added a note > about this to our TODO list, but mostly we're too busy for adding new stuff > these days. I quickly created a simple clang_delta pass

Re: [creduce-dev] Avoiding syntax warnings and errors

2018-03-14 Thread Yang Chen
Hi Vegard, On 03/13/2018 12:08 PM, Vegard Nossum wrote: Hi, First of all, thanks for C-reduce! It's extremely useful and valuable. I am trying to run C-reduce on a large number of (large-ish, preprocessed) source files and I have run into the following problems and/or minor annoyances:

[creduce-dev] Avoiding syntax warnings and errors

2018-03-13 Thread Vegard Nossum
Hi, First of all, thanks for C-reduce! It's extremely useful and valuable. I am trying to run C-reduce on a large number of (large-ish, preprocessed) source files and I have run into the following problems and/or minor annoyances: Especially for sources that crash the compiler, programs often