[all-commits] [llvm/llvm-project] fa74b3: Revert "[SCCP] Remove forcedconstant, go to overde...

[Florian Hahn via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: fa74b31a3e9cd844c7ce2087978568e3f5ec8519
      https://github.com/llvm/llvm-project/commit/fa74b31a3e9cd844c7ce2087978568e3f5ec8519
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2020-02-12 (Wed, 12 Feb 2020)

  Changed paths:
    M llvm/lib/Transforms/Scalar/SCCP.cpp
    M llvm/test/Transforms/IPConstantProp/PR16052.ll
    M llvm/test/Transforms/IPConstantProp/PR26044.ll
    M llvm/test/Transforms/SCCP/2006-12-19-UndefBug.ll
    M llvm/test/Transforms/SCCP/apint-bigint2.ll
    M llvm/test/Transforms/SCCP/apint-ipsccp3.ll
    M llvm/test/Transforms/SCCP/apint-select.ll
    M llvm/test/Transforms/SCCP/ip-constant-ranges.ll
    M llvm/test/Transforms/SCCP/ipsccp-basic.ll
    M llvm/test/Transforms/SCCP/logical-nuke.ll
    M llvm/test/Transforms/SCCP/switch-multiple-undef.ll
    M llvm/test/Transforms/SCCP/ub-shift.ll
    M llvm/test/Transforms/SCCP/undef-resolve.ll

  Log Message:
  -----------
  Revert "[SCCP] Remove forcedconstant, go to overdefined instead"

This causes a crash for the reproducer below

 enum { a };
 enum b { c, d };
 e;
 static _Bool g(struct f *h, enum b i) {
   i &&j();
   return a;
 }
 static k(char h, enum b i) {
   _Bool l = g(e, i);
   l;
 }
 m(h) {
   k(h, c);
   g(h, d);
 }

This reverts commit aadb635e04854220064b77cc10d0e6772f5492fd.