Finds strongly connected functions (by analyzing the call graph for SCC’s (Strongly Connected Components) that are loops), diagnoses each function in the cycle, and displays one example of a possible call graph loop (recursion).
CERT C++ Coding Standard rule DCL56-CPP. Avoid cycles during initialization of static objects.
JPL Institutional Coding Standard for the C Programming Language (JPL DOCID D-60411) rule 2.4 Do not use direct or indirect recursion.
OpenCL Specification, Version 1.2 rule 6.9 Restrictions: i. Recursion is not supported..
The check does not handle calls done through function pointers
The check does not handle C++ destructors