<!-- 
RSS generated by JIRA (9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66) at Wed Feb 07 21:14:25 UTC 2024

It is possible to restrict the fields that are returned in this document by specifying the 'field' parameter in your request.
For example, to request only the issue key and summary append 'field=key&field=summary' to the URL of your request.
-->
<rss version="0.92" >
<channel>
    <title>MongoDB Jira</title>
    <link>https://jira.mongodb.org</link>
    <description>This file is an XML representation of an issue</description>
    <language>en-us</language>    <build-info>
        <version>9.7.1</version>
        <build-number>970001</build-number>
        <build-date>13-04-2023</build-date>
    </build-info>


<item>
            <title>[CDRIVER-2179] Coverity analysis defect 100079: Redundant test</title>
                <link>https://jira.mongodb.org/browse/CDRIVER-2179</link>
                <project id="10030" key="CDRIVER">C Driver</project>
                    <description>&lt;p&gt;Test always evaluates the same&lt;/p&gt;

&lt;p&gt;Defect 100079 (STATIC_C)&lt;br/&gt;
  Checker DEADCODE (subcategory redundant_test)&lt;br/&gt;
  File:  &lt;tt&gt;/src/jsonsl/jsonsl.c&lt;/tt&gt;&lt;br/&gt;
  Function &lt;tt&gt;jsonsl_util_unescape_ex&lt;/tt&gt;&lt;br/&gt;
    /src/jsonsl/jsonsl.c, line: 1418&lt;br/&gt;
    &lt;font color=&quot;red&quot;&gt;At condition &quot;uescval &amp;gt; 55295&quot;, the value of &quot;uescval&quot; must be between 55296 and 57343.&lt;/font&gt; &lt;br/&gt;
    /src/jsonsl/jsonsl.c, line: 1418&lt;br/&gt;
    &lt;font color=&quot;red&quot;&gt;At condition &quot;uescval &amp;gt; 55295&quot;, the value of &quot;uescval&quot; cannot be equal to -1.&lt;/font&gt; &lt;br/&gt;
    /src/jsonsl/jsonsl.c, line: 1414&lt;br/&gt;
    &lt;font color=&quot;red&quot;&gt;Condition &quot;uescval &amp;gt; 57343&quot;, taking false branch. Now the value of &quot;uescval&quot; is between 55296 and 57343.&lt;/font&gt; &lt;br/&gt;
    /src/jsonsl/jsonsl.c, line: 1414&lt;br/&gt;
    &lt;font color=&quot;red&quot;&gt;Condition &quot;uescval &amp;lt; 55296&quot;, taking false branch. Now the value of &quot;uescval&quot; is at least 55296.&lt;/font&gt; &lt;br/&gt;
    /src/jsonsl/jsonsl.c, line: 1395&lt;br/&gt;
    &lt;font color=&quot;red&quot;&gt;Condition &quot;uescval == -1&quot;, taking false branch. Now the value of &quot;uescval&quot; cannot be equal to -1.&lt;/font&gt; &lt;br/&gt;
    /src/jsonsl/jsonsl.c, line: 1418&lt;br/&gt;
    &lt;font color=&quot;red&quot;&gt;The condition &quot;uescval &amp;gt; 55295&quot; must be true.&lt;/font&gt; &lt;/p&gt;
</description>
                <environment></environment>
        <key id="392245">CDRIVER-2179</key>
            <summary>Coverity analysis defect 100079: Redundant test</summary>
                <type id="1" iconUrl="https://jira.mongodb.org/secure/viewavatar?size=xsmall&amp;avatarId=14703&amp;avatarType=issuetype">Bug</type>
                                            <priority id="3" iconUrl="https://jira.mongodb.org/images/icons/priorities/major.svg">Major - P3</priority>
                        <status id="6" iconUrl="https://jira.mongodb.org/images/icons/statuses/closed.png" description="The issue is considered finished, the resolution is correct. Issues which are closed can be reopened.">Closed</status>
                    <statusCategory id="3" key="done" colorName="success"/>
                                    <resolution id="13201">Fixed</resolution>
                                        <assignee username="jesse@mongodb.com">A. Jesse Jiryu Davis</assignee>
                                    <reporter username="xgen-internal-coverity">Coverity Collector User</reporter>
                        <labels>
                    </labels>
                <created>Fri, 9 Jun 2017 17:14:55 +0000</created>
                <updated>Sat, 28 Oct 2023 11:30:38 +0000</updated>
                            <resolved>Wed, 5 Jul 2017 20:26:29 +0000</resolved>
                                                    <fixVersion>1.7.0</fixVersion>
                                                        <votes>0</votes>
                                    <watches>1</watches>
                                                                                                                <comments>
                            <comment id="1670856" author="ramon.fernandez" created="Tue, 12 Sep 2017 18:31:24 +0000"  >&lt;p&gt;Author:&lt;/p&gt;
{&apos;username&apos;: u&apos;ajdavis&apos;, &apos;name&apos;: u&apos;A. Jesse Jiryu Davis&apos;, &apos;email&apos;: u&apos;jesse@mongodb.com&apos;}
&lt;p&gt;Message:&lt;a href=&quot;https://jira.mongodb.org/browse/CDRIVER-2179&quot; title=&quot;Coverity analysis defect 100079: Redundant test&quot; class=&quot;issue-link&quot; data-issue-key=&quot;CDRIVER-2179&quot;&gt;&lt;del&gt;CDRIVER-2179&lt;/del&gt;&lt;/a&gt; unnecessary check&lt;/p&gt;

&lt;p&gt;By the time JSONSL checks if a u-escape value is less than 0xDC00, it&lt;br/&gt;
already knows it is greater than 0xD7FF.&lt;br/&gt;
Branch:master&lt;br/&gt;
&lt;a href=&quot;https://github.com/mongodb/libbson/commit/1e3511f29ccda997f7a3b08fac8d571b226e039a&quot; class=&quot;external-link&quot; target=&quot;_blank&quot; rel=&quot;nofollow noopener&quot;&gt;https://github.com/mongodb/libbson/commit/1e3511f29ccda997f7a3b08fac8d571b226e039a&lt;/a&gt;&lt;/p&gt;</comment>
                    </comments>
                    <attachments>
                    </attachments>
                <subtasks>
                    </subtasks>
                <customfields>
                                                                                                                                                                                                                                                                                                                                                                    <customfield id="customfield_15850" key="com.atlassian.jira.plugins.jira-development-integration-plugin:devsummary">
                        <customfieldname>Development</customfieldname>
                        <customfieldvalues>
                            
                        </customfieldvalues>
                    </customfield>
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            <customfield id="customfield_12550" key="com.pyxis.greenhopper.jira:gh-lexo-rank">
                        <customfieldname>Rank</customfieldname>
                        <customfieldvalues>
                            <customfieldvalue>2|ht0xon:</customfieldvalue>

                        </customfieldvalues>
                    </customfield>
                                                                <customfield id="customfield_10558" key="com.pyxis.greenhopper.jira:gh-global-rank">
                        <customfieldname>Rank (Obsolete)</customfieldname>
                        <customfieldvalues>
                            <customfieldvalue>9223372036854775807</customfieldvalue>
                        </customfieldvalues>
                    </customfield>
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            </customfields>
    </item>
</channel>
</rss>