[clang] [clang][Interp] Only diagnose null field access in constant contexts (PR #69223)

[Timm Baeder via cfe-commits]

Timm =?utf-8?q?Bäder?= <tbaeder at redhat.com>
Message-ID:
In-Reply-To: <llvm/llvm-project/pull/69223/clang at github.com>


================
@@ -295,7 +295,7 @@ class Pointer {
   bool isUnion() const;
 
   /// Checks if the storage is extern.
-  bool isExtern() const { return Pointee->isExtern(); }
+  bool isExtern() const { return Pointee && Pointee->isExtern(); }
----------------
tbaederr wrote:

Kinda, we already care in several places, but I think when interpreting we end up checking `isZero()` or `isLive()` before calling any other `Pointer` API.

https://github.com/llvm/llvm-project/pull/69223