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

[Moritz Pflanzer <moritz@pflanzer.eu>]

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.

Let me know what you think.

Moritz