Hi Nicolas, Thanks for reporting the bug.
I think the issue has been fixed in the Git head. - Yang On 04/18/2017 02:19 AM, Nicolas Thery wrote:
Hello, Thanks for creduce that is very useful. FWIW I hit the attached bug when reducing some C++11 code. Best regards, Nicolas
