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

Kotlin: Add more Long tests

Browse Source
This commit is contained in:
Ian Lynagh
2021-11-22 13:55:35 +00:00
parent 6b5fe14e94
commit 76151b413f
3 changed files with 583 additions and 549 deletions
Download Patch File Download Diff File Expand all files Collapse all files

66
java/ql/test/kotlin/library-tests/exprs/binop.expected
View File

@@ -30,36 +30,36 @@
| exprs.kt:61:15:61:22 | ... >= ... | exprs.kt:61:15:61:16 | toInt(...) | exprs.kt:61:21:61:22 | toInt(...) |
| exprs.kt:62:15:62:23 | ... == ... | exprs.kt:62:15:62:16 | sx | exprs.kt:62:22:62:23 | sy |
| exprs.kt:63:15:63:23 | ... != ... | exprs.kt:63:15:63:16 | sx | exprs.kt:63:22:63:23 | sy |
| exprs.kt:70:14:70:21 | ... == ... | exprs.kt:70:14:70:15 | lx | exprs.kt:70:20:70:21 | ly |
| exprs.kt:71:14:71:21 | ... != ... | exprs.kt:71:14:71:15 | lx | exprs.kt:71:20:71:21 | ly |
| exprs.kt:72:14:72:20 | ... < ... | exprs.kt:72:14:72:15 | lx | exprs.kt:72:19:72:20 | ly |
| exprs.kt:73:14:73:21 | ... <= ... | exprs.kt:73:14:73:15 | lx | exprs.kt:73:20:73:21 | ly |
| exprs.kt:74:15:74:21 | ... > ... | exprs.kt:74:15:74:16 | lx | exprs.kt:74:20:74:21 | ly |
| exprs.kt:75:15:75:22 | ... >= ... | exprs.kt:75:15:75:16 | lx | exprs.kt:75:21:75:22 | ly |
| exprs.kt:76:15:76:23 | ... == ... | exprs.kt:76:15:76:16 | lx | exprs.kt:76:22:76:23 | ly |
| exprs.kt:77:15:77:23 | ... != ... | exprs.kt:77:15:77:16 | lx | exprs.kt:77:22:77:23 | ly |
| exprs.kt:80:14:80:20 | ... + ... | exprs.kt:80:14:80:15 | dx | exprs.kt:80:19:80:20 | dy |
| exprs.kt:81:14:81:20 | ... - ... | exprs.kt:81:14:81:15 | dx | exprs.kt:81:19:81:20 | dy |
| exprs.kt:82:14:82:20 | ... / ... | exprs.kt:82:14:82:15 | dx | exprs.kt:82:19:82:20 | dy |
| exprs.kt:83:14:83:20 | ... % ... | exprs.kt:83:14:83:15 | dx | exprs.kt:83:19:83:20 | dy |
| exprs.kt:84:14:84:21 | ... == ... | exprs.kt:84:14:84:15 | dx | exprs.kt:84:20:84:21 | dy |
| exprs.kt:85:14:85:21 | ... != ... | exprs.kt:85:14:85:15 | dx | exprs.kt:85:20:85:21 | dy |
| exprs.kt:86:14:86:20 | ... < ... | exprs.kt:86:14:86:15 | dx | exprs.kt:86:19:86:20 | dy |
| exprs.kt:87:14:87:21 | ... <= ... | exprs.kt:87:14:87:15 | dx | exprs.kt:87:20:87:21 | dy |
| exprs.kt:88:15:88:21 | ... > ... | exprs.kt:88:15:88:16 | dx | exprs.kt:88:20:88:21 | dy |
| exprs.kt:89:15:89:22 | ... >= ... | exprs.kt:89:15:89:16 | dx | exprs.kt:89:21:89:22 | dy |
| exprs.kt:90:15:90:23 | ... == ... | exprs.kt:90:15:90:16 | dx | exprs.kt:90:22:90:23 | dy |
| exprs.kt:91:15:91:23 | ... != ... | exprs.kt:91:15:91:16 | dx | exprs.kt:91:22:91:23 | dy |
| exprs.kt:98:14:98:21 | ... == ... | exprs.kt:98:14:98:15 | fx | exprs.kt:98:20:98:21 | fy |
| exprs.kt:99:14:99:21 | ... != ... | exprs.kt:99:14:99:15 | fx | exprs.kt:99:20:99:21 | fy |
| exprs.kt:100:14:100:20 | ... < ... | exprs.kt:100:14:100:15 | fx | exprs.kt:100:19:100:20 | fy |
| exprs.kt:101:14:101:21 | ... <= ... | exprs.kt:101:14:101:15 | fx | exprs.kt:101:20:101:21 | fy |
| exprs.kt:102:15:102:21 | ... > ... | exprs.kt:102:15:102:16 | fx | exprs.kt:102:20:102:21 | fy |
| exprs.kt:103:15:103:22 | ... >= ... | exprs.kt:103:15:103:16 | fx | exprs.kt:103:21:103:22 | fy |
| exprs.kt:104:15:104:23 | ... == ... | exprs.kt:104:15:104:16 | fx | exprs.kt:104:22:104:23 | fy |
| exprs.kt:105:15:105:23 | ... != ... | exprs.kt:105:15:105:16 | fx | exprs.kt:105:22:105:23 | fy |
| exprs.kt:124:16:124:26 | ... + ... | exprs.kt:124:16:124:19 | str1 | exprs.kt:124:23:124:26 | str2 |
| exprs.kt:127:12:127:23 | ... > ... | exprs.kt:127:12:127:19 | variable | exprs.kt:127:23:127:23 | 0 |
| exprs.kt:131:12:131:20 | ... + ... | exprs.kt:131:12:131:14 | 123 | exprs.kt:131:18:131:20 | 456 |
| exprs.kt:157:8:157:16 | ... != ... | exprs.kt:157:8:157:8 | r | exprs.kt:157:13:157:16 | null |
| exprs.kt:186:31:186:37 | ... + ... | exprs.kt:186:31:186:32 | <get-a1>(...) | exprs.kt:186:36:186:37 | a2 |
| exprs.kt:77:15:77:22 | ... == ... | exprs.kt:77:15:77:16 | lx | exprs.kt:77:21:77:22 | ly |
| exprs.kt:78:15:78:22 | ... != ... | exprs.kt:78:15:78:16 | lx | exprs.kt:78:21:78:22 | ly |
| exprs.kt:79:15:79:21 | ... < ... | exprs.kt:79:15:79:16 | lx | exprs.kt:79:20:79:21 | ly |
| exprs.kt:80:15:80:22 | ... <= ... | exprs.kt:80:15:80:16 | lx | exprs.kt:80:21:80:22 | ly |
| exprs.kt:81:15:81:21 | ... > ... | exprs.kt:81:15:81:16 | lx | exprs.kt:81:20:81:21 | ly |
| exprs.kt:82:15:82:22 | ... >= ... | exprs.kt:82:15:82:16 | lx | exprs.kt:82:21:82:22 | ly |
| exprs.kt:83:15:83:23 | ... == ... | exprs.kt:83:15:83:16 | lx | exprs.kt:83:22:83:23 | ly |
| exprs.kt:84:15:84:23 | ... != ... | exprs.kt:84:15:84:16 | lx | exprs.kt:84:22:84:23 | ly |
| exprs.kt:87:14:87:20 | ... + ... | exprs.kt:87:14:87:15 | dx | exprs.kt:87:19:87:20 | dy |
| exprs.kt:88:14:88:20 | ... - ... | exprs.kt:88:14:88:15 | dx | exprs.kt:88:19:88:20 | dy |
| exprs.kt:89:14:89:20 | ... / ... | exprs.kt:89:14:89:15 | dx | exprs.kt:89:19:89:20 | dy |
| exprs.kt:90:14:90:20 | ... % ... | exprs.kt:90:14:90:15 | dx | exprs.kt:90:19:90:20 | dy |
| exprs.kt:91:14:91:21 | ... == ... | exprs.kt:91:14:91:15 | dx | exprs.kt:91:20:91:21 | dy |
| exprs.kt:92:14:92:21 | ... != ... | exprs.kt:92:14:92:15 | dx | exprs.kt:92:20:92:21 | dy |
| exprs.kt:93:14:93:20 | ... < ... | exprs.kt:93:14:93:15 | dx | exprs.kt:93:19:93:20 | dy |
| exprs.kt:94:14:94:21 | ... <= ... | exprs.kt:94:14:94:15 | dx | exprs.kt:94:20:94:21 | dy |
| exprs.kt:95:15:95:21 | ... > ... | exprs.kt:95:15:95:16 | dx | exprs.kt:95:20:95:21 | dy |
| exprs.kt:96:15:96:22 | ... >= ... | exprs.kt:96:15:96:16 | dx | exprs.kt:96:21:96:22 | dy |
| exprs.kt:97:15:97:23 | ... == ... | exprs.kt:97:15:97:16 | dx | exprs.kt:97:22:97:23 | dy |
| exprs.kt:98:15:98:23 | ... != ... | exprs.kt:98:15:98:16 | dx | exprs.kt:98:22:98:23 | dy |
| exprs.kt:105:14:105:21 | ... == ... | exprs.kt:105:14:105:15 | fx | exprs.kt:105:20:105:21 | fy |
| exprs.kt:106:14:106:21 | ... != ... | exprs.kt:106:14:106:15 | fx | exprs.kt:106:20:106:21 | fy |
| exprs.kt:107:14:107:20 | ... < ... | exprs.kt:107:14:107:15 | fx | exprs.kt:107:19:107:20 | fy |
| exprs.kt:108:14:108:21 | ... <= ... | exprs.kt:108:14:108:15 | fx | exprs.kt:108:20:108:21 | fy |
| exprs.kt:109:15:109:21 | ... > ... | exprs.kt:109:15:109:16 | fx | exprs.kt:109:20:109:21 | fy |
| exprs.kt:110:15:110:22 | ... >= ... | exprs.kt:110:15:110:16 | fx | exprs.kt:110:21:110:22 | fy |
| exprs.kt:111:15:111:23 | ... == ... | exprs.kt:111:15:111:16 | fx | exprs.kt:111:22:111:23 | fy |
| exprs.kt:112:15:112:23 | ... != ... | exprs.kt:112:15:112:16 | fx | exprs.kt:112:22:112:23 | fy |
| exprs.kt:131:16:131:26 | ... + ... | exprs.kt:131:16:131:19 | str1 | exprs.kt:131:23:131:26 | str2 |
| exprs.kt:134:12:134:23 | ... > ... | exprs.kt:134:12:134:19 | variable | exprs.kt:134:23:134:23 | 0 |
| exprs.kt:138:12:138:20 | ... + ... | exprs.kt:138:12:138:14 | 123 | exprs.kt:138:18:138:20 | 456 |
| exprs.kt:164:8:164:16 | ... != ... | exprs.kt:164:8:164:8 | r | exprs.kt:164:13:164:16 | null |
| exprs.kt:193:31:193:37 | ... + ... | exprs.kt:193:31:193:32 | <get-a1>(...) | exprs.kt:193:36:193:37 | a2 |

1043
java/ql/test/kotlin/library-tests/exprs/exprs.expected
View File

File diff suppressed because it is too large Load Diff

23
java/ql/test/kotlin/library-tests/exprs/exprs.kt
View File

@@ -67,14 +67,21 @@ TODO
val l3 = lx - ly
val l4 = lx / ly
val l5 = lx % ly
val l6 = lx == ly
val l7 = lx != ly
val l8 = lx < ly
val l9 = lx <= ly
val l10 = lx > ly
val l11 = lx >= ly
val l12 = lx === ly
val l13 = lx !== ly
val l6 = lx shl y
val l7 = lx shr y
val l8 = lx ushr y
val l9 = lx and ly
val l10 = lx or ly
val l11 = lx xor ly
val l12 = lx.inv()
val l13 = lx == ly
val l14 = lx != ly
val l15 = lx < ly
val l16 = lx <= ly
val l17 = lx > ly
val l18 = lx >= ly
val l19 = lx === ly
val l20 = lx !== ly
val d1 = 1.0
val d2 = dx + dy