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

[Yang Chen <chenyang@cs.utah.edu>]

Hi Moritz,

Thanks for the prompt patch!

On 2018-03-15 02:52, Moritz Pflanzer wrote:
> Hi John,
>
> > On 14 Mar 2018, at 14:53, John Regehr <regehr@cs.utah.edu> 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 to remove/simplify
> try-catch constructs. For more details have a look at the pull
> request: https://github.com/csmith-project/creduce/pull/157
> For now it is fairly simple but I think it should help already against
> useless try-catch blocks. Later we could have a more advanced pass to
> keep only catch-blocks or to concatenate them with the try-block.

I will take a look at it today if I can find some time. Otherwise, I 
will go through it over the weekend.

- Yang