<div dir="ltr">False positive, that said - we do have "makeArrayRef" that can make an arrayRef of a singular item & might also happen to remove/hide this false positive, if someone wants to see if that helps.<br><br>(not sure an ArrayRef would be compatible with child_range, etc... could be worth considering/checking/etc)<br><br><div class="gmail_quote"><div dir="ltr">On Mon, Sep 18, 2017 at 10:55 AM Welson Sun via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org">cfe-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Hi,</div><div><br></div><div>I got this Coverity "Out-of_bounds access" warning for this snippet in clang/include/AST/ExprCXX.h:</div><div><br></div><div><div id="m_-264097710667360178gmail-main-source-line-4048" class="m_-264097710667360178gmail-source-line" style="color:rgb(0,0,0);font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace;height:1.3em;white-space:nowrap;font-size:12px;font-variant-ligatures:normal"><span class="m_-264097710667360178gmail-source-line-number" style="background-color:rgb(238,238,238);color:rgb(153,153,153);text-align:right;padding-left:0.3em;padding-right:0.2em;display:inline-block">4048</span>  <span id="m_-264097710667360178gmail-xref-401808888-38-2" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-116679163" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">child_range</span> <span id="m_-264097710667360178gmail-xref-401808345-0-1" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-116683174 m_-264097710667360178gmail-xref-defn" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">children</span>() {</div><div class="m_-264097710667360178event-wrapper" style="white-space:nowrap;color:rgb(71,71,71);font-family:"Helvetica Neue",Helvetica,Arial,"Lucida Grande",sans-serif;font-size:12px;font-variant-ligatures:normal"><div class="m_-264097710667360178event-row" style="display:table-row"><span class="m_-264097710667360178gmail-source-line-number" style="background-color:rgb(238,238,238);color:rgb(153,153,153);text-align:right;padding-left:0.3em;padding-right:0.2em;display:table-cell;font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace">    </span><div id="m_-264097710667360178gmail-defect-event-25226928-0" class="m_-264097710667360178event-header m_-264097710667360178gmail-with-event m_-264097710667360178gmail-path-event m_-264097710667360178gmail-branch-true" style="background-color:rgb(245,255,245);color:rgb(136,153,51);overflow:hidden;padding:2px 2px 2px 25px;white-space:normal;display:table-cell;border:1px solid transparent;background-image:none;background-position:1px 2px"><span class="m_-264097710667360178event-order">1.</span> <span class="m_-264097710667360178gmail-description">Condition <span class="m_-264097710667360178gmail-code" style="font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace,serif;font-size:1em;white-space:pre-line;word-wrap:break-word;color:inherit;padding-left:3px;padding-right:3px"><span class="m_-264097710667360178gmail-keyword" style="color:inherit;font-style:inherit">this</span>->State.is()</span>, taking false branch.</span></div></div></div><div id="m_-264097710667360178gmail-main-source-line-4049" class="m_-264097710667360178gmail-source-line m_-264097710667360178gmail-with-event m_-264097710667360178gmail-path-event m_-264097710667360178gmail-branch-true" style="color:rgb(0,0,0);font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace;height:1.3em;white-space:nowrap;font-size:12px;font-variant-ligatures:normal"><span class="m_-264097710667360178gmail-scm" style="background-color:rgb(238,238,238);color:rgb(191,191,191);vertical-align:top;display:inline-block"></span><span class="m_-264097710667360178gmail-impact-date"></span><span class="m_-264097710667360178gmail-source-line-number" style="background-color:rgb(238,238,238);color:rgb(153,153,153);text-align:right;padding-left:0.3em;padding-right:0.2em;display:inline-block">4049</span>    <span class="m_-264097710667360178gmail-keyword" style="font-weight:700">if</span> (<span id="m_-264097710667360178gmail-xref-L-3211414-1507-7" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-L-3211414-11" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">State</span>.<span id="m_-264097710667360178gmail-xref-401808300-3-4" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-116654463" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">is</span><<span id="m_-264097710667360178gmail-xref-401809257-54-2" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-116621749" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">Stmt</span> *>())</div><div id="m_-264097710667360178gmail-main-source-line-4050" class="m_-264097710667360178gmail-source-line" style="color:rgb(0,0,0);font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace;height:1.3em;white-space:nowrap;font-size:12px;font-variant-ligatures:normal"><span class="m_-264097710667360178gmail-scm" style="background-color:rgb(238,238,238);color:rgb(191,191,191);vertical-align:top;display:inline-block"></span><span class="m_-264097710667360178gmail-impact-date"></span><span class="m_-264097710667360178gmail-source-line-number" style="background-color:rgb(238,238,238);color:rgb(153,153,153);text-align:right;padding-left:0.3em;padding-right:0.2em;display:inline-block">4050</span>      <span class="m_-264097710667360178gmail-keyword" style="font-weight:700">return</span> <span id="m_-264097710667360178gmail-xref-401808888-73-2" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-116679163" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">child_range</span>(<span id="m_-264097710667360178gmail-xref-L-3211414-731-7" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-L-3211414-11" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">State</span>.<span id="m_-264097710667360178gmail-xref-401808606-0-2" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-116654946" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">getAddrOfPtr1</span>(), <span id="m_-264097710667360178gmail-xref-L-3211414-1689-7" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-L-3211414-11" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">State</span>.<span id="m_-264097710667360178gmail-xref-401808606-1-2" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-116654946" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">getAddrOfPtr1</span>() + <span class="m_-264097710667360178gmail-literal" style="color:rgb(63,78,222)">1</span>);</div><div id="m_-264097710667360178gmail-main-source-line-4051" class="m_-264097710667360178gmail-source-line" style="color:rgb(0,0,0);font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace;height:1.3em;white-space:nowrap;font-size:12px;font-variant-ligatures:normal"><span class="m_-264097710667360178gmail-scm" style="background-color:rgb(238,238,238);color:rgb(191,191,191);vertical-align:top;display:inline-block"></span><span class="m_-264097710667360178gmail-impact-date"></span><span class="m_-264097710667360178gmail-source-line-number" style="background-color:rgb(238,238,238);color:rgb(153,153,153);text-align:right;padding-left:0.3em;padding-right:0.2em;display:inline-block">4051</span></div><div id="m_-264097710667360178gmail-main-source-line-4052" class="m_-264097710667360178gmail-source-line" style="color:rgb(0,0,0);font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace;height:1.3em;white-space:nowrap;font-size:12px;font-variant-ligatures:normal"><span class="m_-264097710667360178gmail-scm" style="background-color:rgb(238,238,238);color:rgb(191,191,191);vertical-align:top;display:inline-block"></span><span class="m_-264097710667360178gmail-impact-date"></span><span class="m_-264097710667360178gmail-source-line-number" style="background-color:rgb(238,238,238);color:rgb(153,153,153);text-align:right;padding-left:0.3em;padding-right:0.2em;display:inline-block">4052</span>    <span class="m_-264097710667360178gmail-keyword" style="font-weight:700">auto</span> <span id="m_-264097710667360178gmail-xref-L-3211414-1783-1" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-L-3211414-584 m_-264097710667360178gmail-xref-defn" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">ES</span> = <span id="m_-264097710667360178gmail-xref-L-3211414-1819-7" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-L-3211414-11" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">State</span>.<span id="m_-264097710667360178gmail-xref-401808399-2-4" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-116654508" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">get</span><<span id="m_-264097710667360178gmail-xref-L-3211414-1709-2" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-L-3211414-10" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">ExtraState</span> *>();</div><div class="m_-264097710667360178event-wrapper" style="white-space:nowrap;color:rgb(71,71,71);font-family:"Helvetica Neue",Helvetica,Arial,"Lucida Grande",sans-serif;font-size:12px;font-variant-ligatures:normal"><div class="m_-264097710667360178event-row" style="display:table-row"><span class="m_-264097710667360178gmail-source-line-number" style="background-color:rgb(238,238,238);color:rgb(153,153,153);text-align:right;padding-left:0.3em;padding-right:0.2em;display:table-cell;font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace">    </span><div id="m_-264097710667360178gmail-defect-event-25226928-2" class="m_-264097710667360178event-header m_-264097710667360178gmail-with-event m_-264097710667360178gmail-code-event m_-264097710667360178event-set-0 m_-264097710667360178gmail-address_of m_-264097710667360178gmail-grouped-event" style="background-color:rgb(252,242,238);color:rgb(221,68,34);overflow:hidden;padding:2px 2px 2px 25px;white-space:normal;display:table-cell;border:1px solid transparent;background-image:none;background-position:1px 2px"><span class="m_-264097710667360178event-order">2.</span> <span class="m_-264097710667360178event-tag" style="font-weight:700">address_of:</span> <span class="m_-264097710667360178gmail-description">Taking address with <span class="m_-264097710667360178gmail-code" style="font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace,serif;font-size:1em;white-space:pre-line;word-wrap:break-word;color:rgb(0,0,0);padding-left:3px;padding-right:3px">&ES->Temporary</span> yields a singleton pointer.</span></div></div></div><div class="m_-264097710667360178event-wrapper" style="white-space:nowrap;color:rgb(71,71,71);font-family:"Helvetica Neue",Helvetica,Arial,"Lucida Grande",sans-serif;font-size:12px;font-variant-ligatures:normal"><div class="m_-264097710667360178event-row" style="display:table-row"><span class="m_-264097710667360178gmail-source-line-number" style="background-color:rgb(238,238,238);color:rgb(153,153,153);text-align:right;padding-left:0.3em;padding-right:0.2em;display:table-cell;font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace">    </span><div id="m_-264097710667360178gmail-defect-event-25226928-3" class="m_-264097710667360178event-header m_-264097710667360178gmail-with-event m_-264097710667360178gmail-main-event m_-264097710667360178gmail-code-event m_-264097710667360178event-set-0 m_-264097710667360178gmail-ptr_arith m_-264097710667360178gmail-selected-event m_-264097710667360178gmail-grouped-event" style="background-color:rgb(252,242,238);color:rgb(221,68,34);overflow:hidden;padding:2px 2px 2px 25px;white-space:normal;display:table-cell;border:1px solid rgb(125,154,170);background-image:url(https://mail.google.com/images/sourcebrowser/marker-code-main-event.png);background-position:1px 2px"><span class="m_-264097710667360178gmail-defect-text" style="display:block;margin-bottom:2px">CID 71050 (#1 of 1): Out-of-bounds access (ARRAY_VS_SINGLETON)</span><span class="m_-264097710667360178event-order">3.</span> <span class="m_-264097710667360178event-tag" style="font-weight:700">ptr_arith:</span> <span class="m_-264097710667360178gmail-description">Using <span class="m_-264097710667360178gmail-code" style="font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace,serif;font-size:1em;white-space:pre-line;word-wrap:break-word;color:rgb(0,0,0);padding-left:3px;padding-right:3px">&ES->Temporary</span> as an array. This might corrupt or misinterpret adjacent memory locations.</span></div></div></div><div id="m_-264097710667360178gmail-main-source-line-4053" class="m_-264097710667360178gmail-source-line m_-264097710667360178gmail-with-event m_-264097710667360178gmail-code-event m_-264097710667360178event-set-0 m_-264097710667360178gmail-address_of m_-264097710667360178gmail-main-event m_-264097710667360178gmail-ptr_arith m_-264097710667360178gmail-grouped-event" style="color:rgb(0,0,0);font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace;height:1.3em;white-space:nowrap;font-size:12px;font-variant-ligatures:normal"><span class="m_-264097710667360178gmail-scm" style="background-color:rgb(238,238,238);color:rgb(191,191,191);vertical-align:top;display:inline-block"></span><span class="m_-264097710667360178gmail-impact-date"></span><span class="m_-264097710667360178gmail-source-line-number" style="background-color:rgb(238,238,238);color:rgb(153,153,153);text-align:right;padding-left:0.3em;padding-right:0.2em;display:inline-block">4053</span>    <span class="m_-264097710667360178gmail-keyword" style="font-weight:700">return</span> <span id="m_-264097710667360178gmail-xref-401808888-57-2" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-116679163" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">child_range</span>(<span id="m_-264097710667360178gmail-xref-401808776-13-4" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-116673074" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">&</span><span id="m_-264097710667360178gmail-xref-L-3211414-1094-2" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-L-3211414-584" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">ES</span>-><span id="m_-264097710667360178gmail-xref-L-3211414-1870-7" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-L-3211414-585" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">Temporary</span>, <span id="m_-264097710667360178gmail-xref-401808776-45-4" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-116673074" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">&</span><span id="m_-264097710667360178gmail-xref-L-3211414-528-2" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-L-3211414-584" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">ES</span>-><span id="m_-264097710667360178gmail-xref-L-3211414-1343-7" class="m_-264097710667360178gmail-xref m_-264097710667360178gmail-xref-L-3211414-585" style="border-width:1px;border-style:solid;border-color:transparent transparent rgb(204,204,204)">Temporary</span> + <span class="m_-264097710667360178gmail-literal" style="color:rgb(63,78,222)">1</span>);</div><div id="m_-264097710667360178gmail-main-source-line-4054" class="m_-264097710667360178gmail-source-line" style="color:rgb(0,0,0);font-family:Consolas,"Andale Mono WT","Andale Mono","Lucida Console","Lucida Sans Typewriter","DejaVu Sans Mono","Bitstream Vera Sans Mono","Liberation Mono","Nimbus Mono L",Monaco,"Courier New",Courier,monospace;height:1.3em;white-space:nowrap;font-size:12px;font-variant-ligatures:normal"><span class="m_-264097710667360178gmail-scm" style="background-color:rgb(238,238,238);color:rgb(191,191,191);vertical-align:top;display:inline-block"></span><span class="m_-264097710667360178gmail-impact-date"></span><span class="m_-264097710667360178gmail-source-line-number" style="background-color:rgb(238,238,238);color:rgb(153,153,153);text-align:right;padding-left:0.3em;padding-right:0.2em;display:inline-block">4054</span>  }</div></div><div><br></div><div>Since</div><div><br></div><div><div>  struct ExtraState {</div><div>    /// \brief The temporary-generating expression whose value will be</div><div>    /// materialized.</div><div>    Stmt *Temporary;</div><div><br></div><div>    /// \brief The declaration which lifetime-extended this reference, if any.</div><div>    /// Either a VarDecl, or (for a ctor-initializer) a FieldDecl.</div><div>    const ValueDecl *ExtendingDecl;</div><div><br></div><div>    unsigned ManglingNumber;</div><div>  };</div></div><div><br></div><div><br></div><div>So &ES->Temporary get the address of the "Temporary", and &ES->Temporary+1 is like the "end()" for a list container?</div><div><br></div><div><br></div><div>-- <br></div><div class="m_-264097710667360178gmail_signature"><div dir="ltr">- Welson<br><div><div><div><br></div></div></div></div></div>
</div>
_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a><br>
</blockquote></div></div>