Remove dead code (CID #1504016) #776

Job	Run time
pre-ci	5s
master-gh-ubuntu20-linux-gcc-lean	6m 9s
master-gh-ubuntu20-linux-gcc	6m 46s
master-gh-ubuntu20-linux-gcc-O2-g3	6m 39s
master-gh-ubuntu20-linux-gcc-ndebug	6m 38s
master-gh-ubuntu20-linux-clang-lean	13m 12s
master-gh-ubuntu20-linux-clang	13m 20s
master-gh-ubuntu20-linux-clang-O2-g3	12m 58s
master-gh-ubuntu20-linux-clang-ndebug	12m 14s
master-gh-ubuntu20-linux-clang-altlibs	12m 41s
master-gh-ubuntu20-linux-fuzzer	27m 1s
Merge preflight	0s
Merge into upstream	0s
	1h 57m 43s

Provide feedback