Verifier: Verify the correctness of fragment expressions attached to globals.

llvm-svn: 312139
2 files changed