<html>
<head>
<base href="https://bugs.llvm.org/">
</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 - clangsa makes contradictory assumptions about variable"
href="https://bugs.llvm.org/show_bug.cgi?id=48474">48474</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>clangsa makes contradictory assumptions about variable
</td>
</tr>
<tr>
<th>Product</th>
<td>clang
</td>
</tr>
<tr>
<th>Version</th>
<td>11.0
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Linux
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>enhancement
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Static Analyzer
</td>
</tr>
<tr>
<th>Assignee</th>
<td>dcoughlin@apple.com
</td>
</tr>
<tr>
<th>Reporter</th>
<td>jimis@gmx.net
</td>
</tr>
<tr>
<th>CC</th>
<td>dcoughlin@apple.com, llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=24264" name="attach_24264" title="screenshot from CodeChecker">attachment 24264</a> <a href="attachment.cgi?id=24264&action=edit" title="screenshot from CodeChecker">[details]</a></span>
screenshot from CodeChecker
I attach a screenshot from CodeChecker. You can also find the static HTML
report at:
<a href="https://testresults.qt.io/codechecker/daily_analyses/qtbase/dev/qtbase-dev-20201210-238f466d49/qdatetime.cpp_clangsa_fbaaa3c8986c74ae8f6ae431391de560.plist.html#reportHash=62a0d374a5d8f3a09605154ad72cab0d">https://testresults.qt.io/codechecker/daily_analyses/qtbase/dev/qtbase-dev-20201210-238f466d49/qdatetime.cpp_clangsa_fbaaa3c8986c74ae8f6ae431391de560.plist.html#reportHash=62a0d374a5d8f3a09605154ad72cab0d</a>
In this report we see the following assumptions the analyzer makes:
6. Assuming 'spec' is not equal to TimeZone
[...]
9. Assuming 'spec' is equal to Timezone (since it follows that branch of the
switch statement)
This issue stands out the most, because of the closeness of the contradictory
assumptions.
But this report is invalid for other reasons too, for example clangsa fails to
track into the Data constructor in line 3048, which would make it evident it
can't happen.</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>