<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 --- - CStringChecker assumes strcmp only returns -1, 0, or 1 when it can return any integer value" href="https://urldefense.proofpoint.com/v2/url?u=https-3A__llvm.org_bugs_show-5Fbug.cgi-3Fid-3D23790&d=AwMBaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=pF93YEPyB-J_PERP4DUZOJDzFVX5ZQ57vQk33wu0vio&m=Z__QJ3fwALawLm0NVaVYfICnsc0yH7DuPyPz-9KcAtk&s=0ewvA0wyHrlrD7WGOMI6eQl_3kCeKy7loNyfVLbwdEk&e=">23790</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>CStringChecker assumes strcmp only returns -1, 0, or 1 when it can return any integer value
</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>Static Analyzer
</td>
</tr>
<tr>
<th>Assignee</th>
<td>kremenek@apple.com
</td>
</tr>
<tr>
<th>Reporter</th>
<td>rtrieu@google.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>test/Analysis/string.c
703 void strcmp_1() {
704 char *x = "234";
705 char *y = "123";
706 clang_analyzer_eval(strcmp(x, y) == 1); // expected-warning{{TRUE}}
707 }
This is from the test for CStringChecker. The function strcmp can return any
positive value in this case. It is not constrained to returning 1. The true
evaluation here is incorrect.</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>