From b62711a18f176ee89f00557c742145fc0ede5395 Mon Sep 17 00:00:00 2001 From: Justin Viiret Date: Wed, 17 Feb 2016 10:36:22 +1100 Subject: [PATCH] Rose: only use direct reports for external reports --- src/rose/rose_build_compile.cpp | 7 +++++++ 1 file changed, 7 insertions(+) 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;