Fix #8260 Improve check: Pointer calculation result not null #19271

Job	Run time
build_make (ubuntu:25.10)	3m 39s
build_cmake (ubuntu:25.10, true, true)	4m 24s
build_make (ubuntu:24.04)	3m 31s
build_cmake (alpine:3.23, false, false)	4m 28s
build_cmake (ubuntu:24.04, true, true)	3m 43s
build_make (alpine:3.23)	6m 9s
	25m 54s

Provide feedback