Yang that would be great. I can help too. John On 1/24/18 10:31 AM, Yang Chen wrote:
On 2018-01-24 07:09, John Regehr wrote:I hope that pastebin is more durable than the bug is :) How hard is it to turn the bug into a regression test? Do we have any infrastructure for clang-pass regression tests? Shouldn't be too hard. In Souper we use lit (the LLVM test tool) and it is pretty decent.I think it's my fault that we don't have any thing for the clang-pass unittestting. Yes, it's easy to use lit for that. Let me add that soon.- Yang