Hello, I've prepared the patch for LLVM 9.0.0 (this seems to build the Linux kernel): https://github.com/lifeasageek/SVF/commit/b7c0922ade78da2e13340e25fb5a405ba80b5033 I haven't fully worked through if this is right, so please let me know if something's wrong.