Fixed soundness issue related to representation of pointer and function pointer bases as bitvectors.
Clang-format
Merge branch 'master' into llvm-trunk