<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div>I see the diagnostic without any patches. Are you sure you were testing the existing code with alpha.security.ArrayBound on? Is there a more complex example that wasn't working?</div><div><br></div><div>Background: checkLocation is supposed to be called on both loads and stores already, which is why it has the "isLoad" argument.</div><div><br></div><div>Jordan</div><div><br></div><br><div><div>On Feb 17, 2014, at 10:29 , Daniel Marjamäki <<a href="mailto:Daniel.Marjamaki@evidente.se">Daniel.Marjamaki@evidente.se</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div ocsi="0" fpstyle="1" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div style="direction: ltr; font-family: Tahoma; font-size: 10pt;">Hello!<br><br>Here is a patch that will make Clang warn when there is this index out of bounds:<br><br> void f(int x) {<br> int a[10];<br> if (x >= 10)<br> a[x] = x;<br> }<span class="Apple-converted-space"> </span><br><div><br>The checkLocation is not triggered on the "a[x] = x;" statement. Is this by design? Is the checkPrestmt a good choice or would it be better to choose some other check type?<br><br>Best regards,<br>Daniel Marjamäki<br><br><div style="font-family: Tahoma; font-size: 13px;"><div style="font-family: Tahoma; font-size: 13px;"><div style="font-family: Tahoma; font-size: 13px;"><div style="font-family: Tahoma; font-size: 13px;"><div style="font-family: Tahoma; font-size: 13px;"><div style="margin: 0cm 0cm 0pt;"><span style="font-family: Arial, sans-serif; color: gray; font-size: 8pt;">..................................................................................................................</span></div><div style="margin: 0cm 0cm 0pt;"><span style="font-family: Arial, sans-serif; font-size: 8pt;">Daniel Marjamäki<span class="Apple-converted-space"> </span></span><span style="font-family: Arial, sans-serif; color: gray; font-size: 8pt;">Senior Engineer</span></div><div style="margin: 0cm 0cm 0pt;"><span lang="EN-US" style="font-family: Arial, sans-serif; color: gray; font-size: 8.5pt;">Evidente ES East</span><span lang="EN-US" style="font-family: Arial, sans-serif; color: gray; font-size: 8pt;"><span class="Apple-converted-space"> </span>AB<span> <span class="Apple-converted-space"> </span></span>Warfvinges väg 34<span> <span class="Apple-converted-space"> </span></span>SE-112 51 Stockholm<span> <span class="Apple-converted-space"> </span></span>Sweden</span></div><p class="MsoNormal" style="margin: 0cm 0cm 0pt;"><span lang="EN-US" style="font-family: Arial, sans-serif; color: gray; font-size: 8pt;"></span> </p><div style="margin: 0cm 0cm 0pt;"><span lang="EN-GB" style="font-family: Arial, sans-serif; color: gray; font-size: 8pt;">Mobile</span><span lang="EN-GB" style="font-family: Arial, sans-serif; color: gray; font-size: 8pt;">:<span> <span class="Apple-converted-space"> </span></span>+46 (0)709 12 42 62</span></div><div style="margin: 0cm 0cm 0pt;"><span lang="EN-GB" style="font-family: Arial, sans-serif; color: gray; font-size: 8pt;"></span><span lang="EN-GB" style="font-family: Arial, sans-serif; color: gray; font-size: 8pt;">E-mail:<span> <span class="Apple-converted-space"> </span></span><span> <span class="Apple-converted-space"> </span><a href="mailto:Daniel.Marjamaki@evidente.se" tabindex="0">Daniel.Marjamaki</a></span><a href="mailto:Daniel.Marjamaki@evidente.se" tabindex="0">@evidente.se</a><span> <span class="Apple-converted-space"> </span></span><span> </span></span></div><p class="MsoNormal" style="margin: 0cm 0cm 0pt;"><span lang="EN-GB" style="font-family: Arial, sans-serif; color: gray; font-size: 8pt;"></span> </p><div style="margin: 0cm 0cm 0pt;"><span lang="EN-GB" style="font-family: Arial, sans-serif; font-size: 8pt;"><a href="http://www.evidente.se/">www.evidente.se</a></span></div></div></div></div></div></div></div></div></div></blockquote></div></body></html>