https://github.com/aeubanks commented: exposing this is fine, although CFG.h doesn't seem like the right place since it's concerned with just traversing a function's CFG, not actually looking at semantics https://github.com/llvm/llvm-project/pull/135650