Python: fix computation at part boundaries

Author: yoff

python/ql/lib/semmle/python/regexp/RegexTreeView.qll

@@ -239,7 +239,7 @@ module Impl implements RegexTreeViewSig {
      * `localOffset` will be the offset of this `RegExpTerm` inside `result`.
      */
     StringPart getPart(int localOffset) {
-      exists(int index, int prefixLength | index = max(int i | this.getPartOffset(i) < start) |
+      exists(int index, int prefixLength | index = max(int i | this.getPartOffset(i) <= start) |
         result = re.(StrConst).getImplicitlyConcatenatedPart(index) and
         result.contextSize(prefixLength, _) and
         // Example:

python/ql/test/library-tests/regexparser/locations.py

@@ -55,7 +55,7 @@
 )
 
 # plain string with multiple parts across lines
-re.compile( # $ location=1:2 location=2:7 SPURIOUS:location=2:29 MISSING:location=3:2
+re.compile( # $ location=1:2 location=2:7 location=3:2
 '[this] is a test'
 ' and [this] is another test'
 '[this] comes right at the start of a part'