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

Reply via email to