On Fri, 12 May 2017, Wilco Dijkstra wrote:
This is a followup from: https://gcc.gnu.org/ml/gcc-patches/2016-11/msg02916.html
Add an assert to leaf_function_p to ensure it is not called from a
prolog or epilog sequence (which would incorrectly return true in a
non-leaf function).
As I understand, we need to ensure that get_insns call retrieves the topmost
sequence corresponding to the function body, not any current subsequence that
could have been started via start_sequence. Therefore the 'prolog or epilog'
part is a bit misleading, we could be in a subsequence for other reasons, and
we need to reject those as well. So, ...