<html>
<head>
<base href="http://llvm.org/bugs/" />
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW --- - [icFuzz] Incorrect results at -O2 optimization and infinite loop in the Clang optimizer"
href="http://llvm.org/bugs/show_bug.cgi?id=16431">16431</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>[icFuzz] Incorrect results at -O2 optimization and infinite loop in the Clang optimizer
</td>
</tr>
<tr>
<th>Product</th>
<td>tools
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</td>
</tr>
<tr>
<th>Hardware</th>
<td>Macintosh
</td>
</tr>
<tr>
<th>OS</th>
<td>MacOS X
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>opt
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>mohammad.r.haghighat@intel.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvmbugs@cs.uiuc.edu
</td>
</tr>
<tr>
<th>Classification</th>
<td>Unclassified
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=10750" name="attach_10750" title="File contains 107 small tests failing with the latest LLVM/clang 3.4 main trunk (184563). Sources, compilation commands, test input file, and results at -O2 and -O0 are included.">attachment 10750</a> <a href="attachment.cgi?id=10750&action=edit" title="File contains 107 small tests failing with the latest LLVM/clang 3.4 main trunk (184563). Sources, compilation commands, test input file, and results at -O2 and -O0 are included.">[details]</a></span>
File contains 107 small tests failing with the latest LLVM/clang 3.4 main trunk
(184563). Sources, compilation commands, test input file, and results at -O2
and -O0 are included.
Attached are a number of tests (107 of them) that currently fail on the clang
3.4 main trunk (184563). These tests have been automatically generated by an
internal tool at Intel, the Intel Compiler fuzzer -- icFuzz,.
The tests are in two categories
- diff: those that have different runtime outputs when compiled at -O0 and -O2
- InfLoopInClang: those that cause infinite loops in the Clang optimizer
Many of these failing tests could be due to the same bug. The tests are small.
Their main computation is between the statement that reads the random input
(using fscanf) and the statement that computes the final result (res = ...).
The tests have a nice property that each statement between these two boundaries
can be deleted, resulting in another correct running test. This would help test
minification.</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>