use strictconcat instead of concat

This commit is contained in:
Erik Krogh Kristensen
2020-07-02 10:12:43 +02:00
parent 6f54bb1613
commit 226e066db8

View File

@@ -1557,7 +1557,7 @@ private string getConcatenatedString(Expr add) {
exists(getConstantString(leaf))
) and
result =
concat(Expr leaf |
strictconcat(Expr leaf |
leaf = getAnAddOperand*(add)
|
getConstantString(leaf) order by leaf.getFirstToken().getIndex()