diff --git a/src/rose/rose_build_compile.cpp b/src/rose/rose_build_compile.cpp index 70bf0cf3..db1e49ee 100644 --- a/src/rose/rose_build_compile.cpp +++ b/src/rose/rose_build_compile.cpp @@ -598,6 +598,13 @@ bool RoseBuildImpl::isDirectReport(u32 id) const { return false; } + // Use the program to handle cases that aren't external reports. + for (const ReportID &id : g[v].reports) { + if (!isExternalReport(rm.getReport(id))) { + return false; + } + } + if (literals.right.at(id).table == ROSE_ANCHORED) { /* in-edges are irrelevant for anchored region. */ continue;