<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 --- - Wrong warning about unspecified behavior for comparison with string literal"
href="https://llvm.org/bugs/show_bug.cgi?id=27495">27495</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Wrong warning about unspecified behavior for comparison with string literal
</td>
</tr>
<tr>
<th>Product</th>
<td>clang
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</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>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>-New Bugs
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedclangbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>cherepan@mccme.ru
</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>While compiling such program:
int main()
{
"abc" == "def";
}
I get this warning:
$ clang -Wall -Wno-unused-value example.c
example.c:3:9: warning: result of comparison against a string literal is
unspecified (use strncmp instead) [-Wstring-compare]
"abc" == "def";
~~~~~ ^
1 warning generated.
The warning is wrong, this equality cannot be true.
I understand that the warning is intended to catch comparisons like "abc" ==
"abc" which indeed have an unspecified result. But the current warning is too
promiscuous.
The easy fix is to reformulate closer to "comparison with string literal is
always false or has an unspecified result".
The more thorough fix is to separately catch cases that could be proved to be
false at compile time.
gcc bug -- <a href="https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70772">https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70772</a> .</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>