Support LLVM 15 and 16, opaque pointers#1878

Merged

mergify[bot] merged 7 commits intomasterfrom llvm-16

Jun 2, 2023

+165-107

Commits on May 31, 2023

heapster-saw: Simplify and document translateLLVMGEP
RyanGlScott
committed
Adapt to ConstGEP gaining explicit basis type and expression
RyanGlScott
committed