hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 19:26:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

JS: Add failing test

Browse Source
This commit is contained in:
Asger Feldthaus
2020-04-01 10:33:44 +01:00
parent ca9b892519
commit 2d864aaf1b
2 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
javascript/ql/test/library-tests/RangeAnalysis/DeadBranch.expected
View File

@@ -0,0 +1 @@
| constants.js:12:27:12:31 | // OK | Error: analysis claims x >= 1_000 is always false |

5
javascript/ql/test/library-tests/RangeAnalysis/constants.js
View File

@@ -6,3 +6,8 @@ function f() {
if (two > one) {} // NOT OK - always true
if (two <= one) {} // NOT OK - always false
}
function underscores(x) {
if (x >= 1_000_000) return; // OK
if (x >= 1_000) return; // OK
}