Re: [creduce-dev] unifdef

[John Regehr <regehr@cs.utah.edu>]

Well, I probably did something wrong but using this interestingness test:

g++ -c -std=c++11 -fsyntax-only incremental_components.cpp -w &&
! clang++ -c -std=c++11 -fsyntax-only incremental_components.cpp -w

C-Reduce rather quickly came up with this:

constexpr int x0() { return __builtin_tanhl(0); }

Do you have a better interestingness test for me?  Should I be looking 
for a specific error message from clang++ I guess?

John