\brief Analyze control-flow within p-code for a single instruction Walk through the raw p-code (from the given iterator to the end of the list) looking for control flow operations (BRANCH,CBRANCH,BRANCHIND,CALL,CALLIND,RETURN) and add appropriate annotations (startbasic, callspecs, new addresses). As it iterates through the p-code, the method maintains a reference to a boolean indicating whether
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected