overlap LLVM 18 checker: PASS
overlap LLVM 17 checker: PASS
initial LLVM 18 checker: PASS
cross-function LLVM 18 checker: PASS