Requirements: Add todo-note to invalidate non-written regions in partial projections

In projections (i.e. functions that read and write the same timelevel of the same variable), we should invalidate those regions that are read but are not written (if any).

1 files changed, 3 insertions, 0 deletions

diff --git a/Carpet/Requirements/src/Requirements.cc b/Carpet/Requirements/src/Requirements.cc
index 03f95aede..bf0793f2e 100644
--- a/Carpet/Requirements/src/Requirements.cc
+++ b/Carpet/Requirements/src/Requirements.cc
@@ -901,6 +901,9 @@ namespace Requirements {
             for (int tl=mintl; tl<=maxtl; ++tl) {
               if (timelevel==-1 or clause.active_on_timelevel(tl-tl_of)) {
                 gridpoint_t& gp = tls.AT(tl);
+                // TODO: If this variable is both read and written
+                // (i.e. if this is a projection), then only the
+                // written region remains valid
                 gp.update_state(clause);
               }
             }