[LLVMbugs] [Bug 16052] New: llvm/lib/Transforms/Scalar/SCCP.cpp: Assertion `getLatticeValue() == forcedconstant && "Cannot move from overdefined to constant!"' failed

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=16052

            Bug ID: 16052
           Summary: llvm/lib/Transforms/Scalar/SCCP.cpp: Assertion
                    `getLatticeValue() == forcedconstant && "Cannot move
                    from overdefined to constant!"' failed
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: kcc at google.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

test case by csmith/creduce; it has an undefined behaviour (missing return)
llvm 182077

int a;
int b;
static
int fn1 (p1) {
  return p1 ? p1 : -p1;
}
int fn2 () {
  a = fn2 ();
  b = 8LL / a;
  fn1 (b);
  // return statement missing
}


% clang -cc1 -triple x86_64-unknown-linux-gnu -emit-obj -O1 -x c g.c
g.c:12:1: warning: control reaches end of non-void function
}
^
clang: llvm/lib/Transforms/Scalar/SCCP.cpp:119: bool <anonymous
namespace>::LatticeVal::markConstant(llvm::Constant *): Assertion
`getLatticeValue() == forcedconstant && "Cannot move from overdefined to
constant!"' failed.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20130517/a6fff79e/attachment.html>