Thanks, John. It should be fine. I think I can make it work this week. - Yang On 2018-01-24 09:57, John Regehr wrote:
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 anyinfrastructure 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