On 2015-09-22 11:27, John Regehr wrote:
Second, I ran across a new crash on unpreprocessed code, see attached file (reduced by C-Reduce obviously). Do you have time to take a look Yang?
Yes, I will address the issue by tomorrow. - Yang