[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
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.
More information about the cfe-commits