Ian Lynagh
bafee5ec10
Merge pull request #18079 from igfoo/igfoo/dc
...
KE2: Remove some dead code
2024-11-22 15:33:20 +00:00
Ian Lynagh
b3dbd73741
KE2: Remove some dead code
2024-11-22 14:10:47 +00:00
Ian Lynagh
05fa3328f0
Merge pull request #18064 from igfoo/igfoo/ke2_lang_ver
...
KE2: Use the right language version
2024-11-22 11:41:32 +00:00
Ian Lynagh
40006fc566
Merge pull request #18031 from igfoo/igfoo/kttypes
...
KE2: Start working on KtTypes
2024-11-22 11:41:01 +00:00
Ian Lynagh
6d990d47db
KE2: Use the right language version
...
With this, if I make the testsuite driver use 1.7, then the test code
sealed interface ReadResult
data class Number(val number: Int) : ReadResult
data class Text(val text: String) : ReadResult
data object EndOfFile : ReadResult
makes the extractor print
=== Diagnostics
--- Diagnostic:
WRONG_MODIFIER_TARGET
ERROR
Modifier 'data' is not applicable to 'standalone object'.
Location(startLine=5, startColumn=1, endLine=5, endColumn=4)
--- End diagnostics
2024-11-21 16:36:16 +00:00
Ian Lynagh
82c41316c6
KE2: Populate Kotlin type nullability and alias information
2024-11-21 16:00:01 +00:00
Ian Lynagh
7baeea6365
KE2: Use a more consistent TRAP label
2024-11-21 15:21:35 +00:00
Ian Lynagh
d17e3d521c
KE2: Start working on KtTypes
2024-11-21 15:21:34 +00:00
Ian Lynagh
eae40dbc03
KE2: Keep KE1 building with the kt-type changes
...
It won't work, but it'll still compile
2024-11-21 15:21:33 +00:00
Ian Lynagh
74ee483fa1
KE2: Add rules_jvm_external back to build system
2024-11-20 18:23:01 +00:00
Ian Lynagh
8fe48d6dce
Merge commit 'e3990b7d04db2ca3ac99c029a0afc131e695db0b' into ke2
...
That is the repo ql as at the internal repo's
git merge-base origin/rc/3.16 origin/main
2024-11-20 17:40:00 +00:00
Chris Smowton
e89e0f5c4a
Merge pull request #18027 from igfoo/igfoo/fixbuild
...
KE2: Fix build
2024-11-20 16:48:36 +00:00
Tamás Vajk
1dbf54e9e7
Merge pull request #18028 from tamasvajk/ke2-if
...
KE2: Extract `if` expressions/statements
2024-11-19 18:40:45 +01:00
Tamas Vajk
39aefb8d17
Fix code review finding
2024-11-19 18:06:35 +01:00
Tamas Vajk
28a5634615
KE2: Extract if expressions/statements
2024-11-19 13:57:18 +01:00
Ian Lynagh
e4a82888c0
KE2: Fix build
2024-11-19 11:56:55 +00:00
Ian Lynagh
147f6a10e7
Merge pull request #18016 from igfoo/igfoo/file_numbers
...
KE2: Use the right file numbers
2024-11-19 11:03:55 +00:00
Tamás Vajk
750b8239e7
Merge pull request #18006 from tamasvajk/ke2-parens
...
KE2: Extract parenthesized expressions
2024-11-19 11:23:39 +01:00
Michael Nebel
e3990b7d04
C#: Add change-note.
2024-11-19 10:56:19 +01:00
Michael Nebel
263a4a9fcb
C#: Allow other characters between build-stdput and the expected message.
2024-11-19 10:26:07 +01:00
Michael Nebel
f89e80f402
C#: Update integration tests expected output.
2024-11-19 10:26:06 +01:00
Michael Nebel
05a19adc8f
C#: Update global.json files.
2024-11-19 10:26:04 +01:00
Michael Nebel
d8313fc7b4
C#: Update .NET version in project files.
2024-11-19 10:26:02 +01:00
Michael Nebel
6b9d9a2c94
C#: Update stub generator script.
2024-11-19 10:26:00 +01:00
Michael Nebel
57e0e2dba1
C#: Update workflow files and scripts.
2024-11-19 10:25:58 +01:00
Michael Nebel
201a5e9faa
C#: Update the extractor to target .NET 9.
2024-11-19 10:25:52 +01:00
Paolo Tranquilli
99494dd540
Merge pull request #18012 from github/revert-18011-revert-17937-redsun82/rust-cargo-options
...
Revert "Revert "Rust: allow to specify more cargo configuration options""
2024-11-19 09:03:52 +01:00
Tamas Vajk
ea54eab376
Add todo comment
2024-11-19 08:37:38 +01:00
Owen Mansel-Chan
e2f17c63d7
Merge pull request #17988 from owen-mc/java/fix-unreachable-blocks-in-const-switch-stmt
...
Java: fix unreachable basic blocks in const switch stmt
2024-11-19 00:48:12 +00:00
Owen Mansel-Chan
c5bec1cc7f
Merge pull request #17966 from owen-mc/go/mad/subtypes-true
...
Go: set `subtypes` column to true for models where it has a meaning
2024-11-19 00:43:55 +00:00
Jeroen Ketema
b622c6e9ca
Merge pull request #18015 from jketema/cpu-cleanup
...
Remove duplicated "Supported CPU architectures" from "Supported platforms" table
2024-11-18 21:10:17 +01:00
Ian Lynagh
7bda00cb5b
KE2: Use the right file numbers
...
The thread that did the extraction could see the file number counter
after it had been incremented (possibly multiple times) by the main
thread. This fixes some consistency query failures in tests.
2024-11-18 18:37:56 +00:00
Jeroen Ketema
ba545ca5d8
Remove duplicated "Supported CPU architectures" from "Supported platforms" table
2024-11-18 19:18:35 +01:00
Mathias Vorreiter Pedersen
f2f83f77e0
Merge pull request #18013 from MathiasVP/non-boolean-consistency-check
...
C++: Add another IR consistency query
2024-11-18 17:27:33 +00:00
Paolo Tranquilli
5c1f413d44
Java: fix embedded kotlin extractor build
2024-11-18 17:47:24 +01:00
Paolo Tranquilli
f7ee5f4bf5
Merge pull request #18003 from github/redsun82/rust-qltest
...
Rust: only accept `options.yml` in QL tests
2024-11-18 17:24:57 +01:00
Paolo Tranquilli
8377ee545f
Rust: fix reading lists from options.yml
2024-11-18 17:22:23 +01:00
Mathias Vorreiter Pedersen
ccca0b6ba4
C++: Also update syntax-zoo tests.
2024-11-18 15:56:41 +00:00
Mathias Vorreiter Pedersen
4a4552bbc1
C++: Also update the consistency query itself.
2024-11-18 15:55:25 +00:00
Mathias Vorreiter Pedersen
28391d19b6
C++: Add some more tests to expose consistency issues.
2024-11-18 15:25:57 +00:00
Mathias Vorreiter Pedersen
493ea6da31
C++: Add a new consistency check for branching on non-boolean values.
2024-11-18 15:21:28 +00:00
Paolo Tranquilli
0943389ca1
Rust: add rust-specific deps updater script
2024-11-18 16:16:54 +01:00
Paolo Tranquilli
e077bf0732
Rust: update vendored dependencies
2024-11-18 16:06:27 +01:00
Mathias Vorreiter Pedersen
6785b93ed8
Merge pull request #17938 from MathiasVP/fix-fp-in-missing-check-scanf-fixing-take-2
...
C++: Fix some FPs in `cpp/missing-check-scanf` (second attempt)
2024-11-18 15:05:18 +00:00
Paolo Tranquilli
abd73e16d4
Revert "Revert "Rust: allow to specify more cargo configuration options""
2024-11-18 15:52:03 +01:00
Paolo Tranquilli
d9b86f55c8
Merge pull request #18011 from github/revert-17937-redsun82/rust-cargo-options
...
Revert "Rust: allow to specify more cargo configuration options"
2024-11-18 15:46:55 +01:00
Mathias Vorreiter Pedersen
86e95f14e0
Update cpp/ql/lib/change-notes/2024-11-18-guard-conditions.md
...
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com >
2024-11-18 14:37:52 +00:00
Paolo Tranquilli
04072591c4
Revert "Rust: allow to specify more cargo configuration options"
2024-11-18 15:36:06 +01:00
Mathias Vorreiter Pedersen
90d7616f14
C++: Add change note.
2024-11-18 14:31:36 +00:00
Napalys Klicius
9457bc3548
Merge pull request #17993 from Napalys/napalys/ES2023-array-protype-with
...
JS: Added support for Array.prototype.with() ES2023 feature
2024-11-18 14:37:53 +01:00
