goto-symex: assumed pointer equalities must update value set #10555

Job	Run time
check-ubuntu-20_04-cmake-gcc	16m 51s
check-ubuntu-20_04-make-clang	24m 17s
check-ubuntu-20_04-make-clang-smt-z3	3m 50s
check-ubuntu-20_04-make-gcc	19m 14s
check-docker-image	20m 49s
check-macos-13-make-clang	35m 42s
check-macos-14-cmake-clang	1h 19m 21s
check-string-table	2m 9s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	3m 1s
check-ubuntu-20_04-cmake-gcc-THOROUGH	10m 35s
check-ubuntu-22_04-cmake-gcc	15m 15s
check-ubuntu-22_04-cmake-gcc-32bit	15m 37s
check-ubuntu-22_04-make-clang	17m 37s
check-ubuntu-24_04-cmake-gcc-14	15m 21s
check-vs-2019-cmake-build-and-test	31m 10s
check-vs-2022-make-build-and-test	19m 52s
include-what-you-use	23m 10s
windows-msi-package	6m 31s
	6h 0m 22s

Provide feedback