george.karpenkov added a comment. The error is triggered when analyzer finds a bug *inside* the callable captured by the body farm. Probably we didn't see the crash in the wild because either a) the clang build did not have assertions enabled or b) the HTML output was not enabled
and the bug needs both to trigger. In any case it does not make sense to assert that invalid locations are not present on the path if right after we are calling a subroutine which removes all diagnostics which do have invalid locations. https://reviews.llvm.org/D41680 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits