Depending on the traversal order, the computation of calling contexts might get stopped early on as a call node is not considered if it has already been visited. However, the same call node might occur in different calling contexts. Thus, this PR adapts the computation of calling contexts, to ignore a call node for a particular calling context only if this call node already occurs in this calling context, i.e., is a recursive call.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Depending on the traversal order, the computation of calling contexts might get stopped early on as a call node is not considered if it has already been visited. However, the same call node might occur in different calling contexts. Thus, this PR adapts the computation of calling contexts, to ignore a call node for a particular calling context only if this call node already occurs in this calling context, i.e., is a recursive call.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.