[all-commits] [llvm/llvm-project] cda82d: [Bitcode] Check for type mismatch when assigning v...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: cda82d39f3f25d8f6d1c1a105a59001339e54bb2
      https://github.com/llvm/llvm-project/commit/cda82d39f3f25d8f6d1c1a105a59001339e54bb2
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-03-11 (Fri, 11 Mar 2022)

  Changed paths:
    M llvm/lib/Bitcode/Reader/BitcodeReader.cpp
    M llvm/lib/Bitcode/Reader/ValueList.cpp
    M llvm/lib/Bitcode/Reader/ValueList.h
    A llvm/test/Bitcode/Inputs/invalid-forward-declare.bc
    M llvm/test/Bitcode/invalid.test

  Log Message:
  -----------
  [Bitcode] Check for type mismatch when assigning value

If the value is forward-declared, then the type must match,
otherwise we can't RAUW.