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: [email protected]
          Reporter: [email protected]
                CC: [email protected]
    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.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs

Reply via email to