[clang][Interp] Pointers into unknown-size arrays are never one-past-end

pratlucas · Jun 26, 2024 · dead8f8 · dead8f8
1 parent b579aac
commit dead8f8
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/clang/lib/AST/Interp/Pointer.h b/clang/lib/AST/Interp/Pointer.h
@@ -553,6 +553,9 @@ class Pointer {
  if (!asBlockPointer().Pointee)
  return false;
 
+ if (isUnknownSizeArray())
+ return false;
+
  return isElementPastEnd() ||
  (getSize() == getOffset() && !isZeroSizeArray());
  }

diff --git a/clang/test/AST/Interp/arrays.cpp b/clang/test/AST/Interp/arrays.cpp
@@ -626,3 +626,4 @@ constexpr int *get2() {
  extern int same_entity_2[];
  return same_entity_2;
 }
+static_assert(get2() == same_entity_2, "failed to find previous decl");