Stay rational; don't assert trying to take the square root of a negative value.
If it's negative, the loop is already proven to be infinite. Fixes PR13489! llvm-svn: 161107
Loading
Please register or sign in to comment
If it's negative, the loop is already proven to be infinite. Fixes PR13489! llvm-svn: 161107