On Tue, Nov 15, 2016 at 09:38:11PM -0200, Bernardo Sulzbach wrote: > if( s1>7 && s2>7 ){ > res = s1 - s2; > }else{ > if( s1==s2 ){ > // Accesses to aLen as mentioned above > > If s1 > 7 && s2 > 7 is false, then at least one of s1 and s2 is not above 7. > If they are equal, then neither s1 nor s2 is above 7.
7 is past the end of the array. > > and we also know that either s1 or s2 can be 8 or 9, > > This is false, unless I am mistaken. See my reasoning above. > > The issue is valid, and the message your analyzer (or compiler) wrote is > correct: it is not guaranteed to be < 7, which it should be. Right. > I am unsure whether or not this is actually a bug, but it almost certainly > is a mistake. That's how it seems to me, yes. Nico -- _______________________________________________ sqlite-users mailing list sqlite-users@mailinglists.sqlite.org http://mailinglists.sqlite.org/cgi-bin/mailman/listinfo/sqlite-users