================ @@ -482,11 +482,14 @@ bool RuntimePointerChecking::tryToCreateDiffCheck( } } + bool WriteAfterRead = isa<LoadInst>(SrcInsts[0]); ---------------- SamTebbs33 wrote: That's better, thanks. https://github.com/llvm/llvm-project/pull/100579