On 09/22/2015 11:27 AM, John Regehr wrote:
Second, I ran across a new crash on unpreprocessed code, see attached file (reduced by C-Reduce obviously).
- Yang