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
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:
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