Mathias Vorreiter Pedersen
d114d09d73
Docs: Remove Swift version in footnote.
2024-04-05 14:52:19 +01:00
Mathias Vorreiter Pedersen
4c01c06f0c
C++: Accept test changes.
2024-04-05 14:49:22 +01:00
Mathias Vorreiter Pedersen
f1d2dac648
C++: Fix a bug where the destructor attached to a 'new' expression would
...
have multiple parents (the 'new' expression, the call to 'operator new',
and the size expression). This happens because the latter two are
'TranslatedExpr's that return the 'new' expression as their expression
even though they don't technically represent the translation of this
expression.
To prevent this bug we tell the IR construction that the latter two
handle their destructors explicitly which means that IR construction
doesn't try to synthesize them.
2024-04-05 14:46:27 +01:00
Mathias Vorreiter Pedersen
b042366c8e
C++: Add a failing testcase.
2024-04-05 14:41:11 +01:00
Asger F
cd84fa4bee
JS: Make getInstance() propagate to subclasses
2024-04-05 15:12:02 +02:00
Mathias Vorreiter Pedersen
27688bf154
Shared: Rename 'joinStep' to 'joinStepNotNull' to prevent name clashes. Rename 'sccJoinStep' to 'sccJoinStepNotNull' to match the new name.
2024-04-05 13:25:29 +01:00
Mathias Vorreiter Pedersen
bae633ad24
Shared: Make 'erasedHaveIntersection' more identical to the Java version.
2024-04-05 13:19:21 +01:00
Mathias Vorreiter Pedersen
9deeb67af4
Update shared/typeflow/codeql/typeflow/internal/TypeFlowImpl.qll
...
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com >
2024-04-05 13:10:08 +01:00
Mathias Vorreiter Pedersen
ba347bdcf2
Merge pull request #16133 from MathiasVP/swift-5.10-support-docs
...
Docs: Mark Swift version 5.10 as supported
2024-04-05 13:07:09 +01:00
Mathias Vorreiter Pedersen
bffa262a2c
Shared: Make 'getAStrictAncestor' private.
2024-04-05 13:04:26 +01:00
Mathias Vorreiter Pedersen
96e205a4a6
Docs: Mark Swift 5.10 as supported.
2024-04-05 12:59:07 +01:00
Mathias Vorreiter Pedersen
a2c29fe094
Shared: nomagicify 'getASourceSupertype'.
2024-04-05 12:57:11 +01:00
Mathias Vorreiter Pedersen
3f6967829e
Update shared/typeflow/codeql/typeflow/internal/TypeFlowImpl.qll
...
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com >
2024-04-05 12:53:23 +01:00
Mathias Vorreiter Pedersen
1775bdee5f
Java: Remove redundant qualifiers.
2024-04-05 12:52:04 +01:00
Mathias Vorreiter Pedersen
26cf8df8d6
Update java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll
...
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com >
2024-04-05 12:50:26 +01:00
Mathias Vorreiter Pedersen
3f63d3a865
Update java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll
...
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com >
2024-04-05 12:49:40 +01:00
Mathias Vorreiter Pedersen
1acbb84444
Shared/Java: Make the 'isNull' interface slightly prettier.
2024-04-05 11:58:43 +01:00
Pierre
e5b7957e4a
Merge pull request #16130 from github/sitedocs/2.17.0
...
Add changelog for 2.17.0
2024-04-05 12:46:45 +02:00
Taus
ef9f99b3be
Python: Remove unparse.py
2024-04-05 12:30:40 +02:00
Taus
599f573a4a
Python: Preserve comments and docstrings in extractor
2024-04-05 12:30:40 +02:00
Taus
752d28c1b9
Python: Update repinning instructions
...
This aligns us better with the corresponding instructions for
the Ruby extractor.
2024-04-05 12:30:40 +02:00
Taus
7bec41096c
Python: Rename tsg-build target to tsp-build
...
The latter makes more sense, as it's actually building
`tree-sitter-python`.
2024-04-05 12:30:40 +02:00
Mathias Vorreiter Pedersen
bb2c690bdd
C++: Accept test changes.
2024-04-05 09:49:38 +01:00
Mathias Vorreiter Pedersen
d279e3f17a
C++: Suppress destructor calls for the right-hand side of logical operations since these are also conditional.
2024-04-05 09:47:11 +01:00
Mathias Vorreiter Pedersen
e63a607eb3
C++: Add another test with conditional construction.
2024-04-05 09:41:50 +01:00
Pierre
268141822d
Merge branch 'main' into sitedocs/2.17.0
2024-04-05 09:39:18 +02:00
Pierre
9e49c5f185
Add changelogs for 2.16.6 (to this branch) and 2.17.0 (new)
2024-04-05 09:34:27 +02:00
Pierre
0604b4cc14
Changelog mergeback for versions prior to 2.17.0
2024-04-05 09:33:51 +02:00
Owen Mansel-Chan
e10333bf2b
Merge pull request #14919 from github/java/jdk-model-autogeneration
...
Java: add dataflow-generated models for JDK17
2024-04-04 21:12:55 +01:00
Owen Mansel-Chan
32ea94e625
Merge pull request #16123 from owen-mc/go/misc-trivial-fixes
...
Go: miscellaneous trivial fixes
2024-04-04 21:09:15 +01:00
Mathias Vorreiter Pedersen
b6ddb97e40
C++: Accept test changes.
2024-04-04 20:02:02 +01:00
Mathias Vorreiter Pedersen
f098b8eb82
C++: Make sure the edge kind out of a throw is an 'ExceptionEdge' even if destructors are called.
2024-04-04 20:01:52 +01:00
Geoffrey White
bdc3d10cdb
C++: QLDoc SummaryCall, SourceCallable and SummarizedCallable.
2024-04-04 17:13:59 +01:00
Geoffrey White
49ef677b1d
C++: Additional test case for function pointers.
2024-04-04 16:53:29 +01:00
Geoffrey White
144c19db74
C++: Add a test of SummaryCalls, SummarizedCallables and sourceCallables.
2024-04-04 16:50:50 +01:00
Mathias Vorreiter Pedersen
587ae07579
C++: Accept query test changes.
2024-04-04 16:23:41 +01:00
Mathias Vorreiter Pedersen
8f11cb64ec
C++: Accept test changes.
2024-04-04 16:03:06 +01:00
Mathias Vorreiter Pedersen
180888616b
C++: Properly handle the case where a TranslatedElement has no children.
2024-04-04 16:02:01 +01:00
Mathias Vorreiter Pedersen
805b4d6465
C++: Add a failing testcase.
2024-04-04 16:01:25 +01:00
Rasmus Wriedt Larsen
4faff83aa0
Python: Extractor: Remove dependency installation fallback
2024-04-04 16:49:55 +02:00
Dave Bartolomeo
2336e14627
Remove expectation of spurious diagnostic
2024-04-04 10:31:05 -04:00
Mathias Vorreiter Pedersen
774efb5f3f
Merge branch 'main' into destructors-for-unconditional-unnamed
2024-04-04 15:04:34 +01:00
Asger F
b8b8e2b991
Merge pull request #16054 from asgerf/js/call-graph-improvement2
...
JS: more implied receiver steps
2024-04-04 15:54:06 +02:00
Mathias Vorreiter Pedersen
0b7070feec
C++: Accept test changes.
2024-04-04 14:51:16 +01:00
Mathias Vorreiter Pedersen
73602dca92
C++: Also suppress destructor calls on throwing ternary expressions.
2024-04-04 14:51:11 +01:00
Mathias Vorreiter Pedersen
a6a0e20176
C++: Accept test changes.
2024-04-04 14:45:20 +01:00
Mathias Vorreiter Pedersen
796fcfec6c
C++: Handle conversions in 'isInConditionalEvaluation'.
2024-04-04 14:44:16 +01:00
Erik Krogh Kristensen
0cfac605bd
Merge pull request #16100 from erik-krogh/fix-js-rb-typo
...
RB: fix language specifier typo in qhelp for rb/multi-char-san
2024-04-04 15:42:45 +02:00
Mathias Vorreiter Pedersen
56a132fa8e
C++: Accept test changes.
2024-04-04 14:41:24 +01:00
Mathias Vorreiter Pedersen
a756f14e77
C++: Only report implicit destructors if we need to translate them.
2024-04-04 14:41:23 +01:00