<html>
<head>
<base href="https://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 --- - False positive - Switch statement analysis assumes default cannot be taken"
href="https://llvm.org/bugs/show_bug.cgi?id=26647">26647</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>False positive - Switch statement analysis assumes default cannot be taken
</td>
</tr>
<tr>
<th>Product</th>
<td>clang
</td>
</tr>
<tr>
<th>Version</th>
<td>unspecified
</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>Static Analyzer
</td>
</tr>
<tr>
<th>Assignee</th>
<td>kremenek@apple.com
</td>
</tr>
<tr>
<th>Reporter</th>
<td>avi.bugzilla@mail.ashevin.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr>
<tr>
<th>Classification</th>
<td>Unclassified
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=15915" name="attach_15915" title="Sample code illustrating bug">attachment 15915</a> <a href="attachment.cgi?id=15915&action=edit" title="Sample code illustrating bug">[details]</a></span>
Sample code illustrating bug
When an enumerated type is used as a bit mask, the analyzer assumes that
covering all the individual enumeration values precludes reaching the default
case. This can lead to warnings of unused initializations.
In the attached sample code, the analyzer warns that "bc" is initialized, but
not read. The output of the program correctly logs "BC".
(Please forgive the extraneous bits. The sample code is used for quick testing
of ideas.)</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>