[PATCH] Reject bitcasts between address spaces with different sizes

[Matt Arsenault]

  Fix infinite loop when constant casts have cycles. Disable output for opt -verify

Hi eli.friedman,

http://llvm-reviews.chandlerc.com/D1083

CHANGE SINCE LAST DIFF
  http://llvm-reviews.chandlerc.com/D1083?vs=2702&id=2703#toc

Files:
  docs/LangRef.rst
  include/llvm/AutoUpgrade.h
  lib/AsmParser/LLParser.cpp
  lib/Bitcode/Reader/BitcodeReader.cpp
  lib/IR/AutoUpgrade.cpp
  lib/IR/Verifier.cpp
  test/Bitcode/bitcast-upgrade.ll
  test/Transforms/InstCombine/memset2.ll
  test/Verifier/bitcast-address-space-nested-global-cycle.ll
  test/Verifier/bitcast-address-space-nested-global.ll
  test/Verifier/bitcast-address-space-through-gep-2.ll
  test/Verifier/bitcast-address-space-through-gep.ll
  test/Verifier/bitcast-address-spaces.ll
  test/Verifier/bitcast-vector-pointer-as.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D1083.7.patch
Type: text/x-patch
Size: 31945 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20130705/deb132a6/attachment.bin>