[PATCH] D41680: [analyzer] do not crash with assertion on processing locations of bodyfarmed functions

George Karpenkov via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Jan 2 14:20:57 PST 2018


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





More information about the cfe-commits mailing list