Skip to content

Commit 92b408f

Browse files
authored
Merge pull request github#13274 from kaspersv/kaspersv/late-inline-member-preds-doc
Docs: Late inlining now supported for member predicates
2 parents 05f3934 + 770e76a commit 92b408f

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

docs/codeql/ql-language-reference/annotations.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -292,7 +292,7 @@ at the places where it is called.
292292
``pragma[inline_late]``
293293
-----------------------
294294

295-
**Available for**: |non-member predicates|
295+
**Available for**: |characteristic predicates|, |member predicates|, |non-member predicates|
296296

297297
The ``pragma[inline_late]`` annotation must be used in conjunction with a
298298
``bindingset[...]`` pragma. Together, they tell the QL optimiser to use the

docs/codeql/ql-language-reference/ql-language-specification.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -738,7 +738,7 @@ The parameterized annotation ``pragma`` supplies compiler pragmas, and may be ap
738738
+===========================+=========+============+===================+=======================+=========+========+=========+=========+
739739
| ``inline`` | | yes | yes | yes | | | | |
740740
+---------------------------+---------+------------+-------------------+-----------------------+---------+--------+---------+---------+
741-
| ``inline_late`` | | | | yes | | | | |
741+
| ``inline_late`` | | yes | yes | yes | | | | |
742742
+---------------------------+---------+------------+-------------------+-----------------------+---------+--------+---------+---------+
743743
| ``noinline`` | | yes | yes | yes | | | | |
744744
+---------------------------+---------+------------+-------------------+-----------------------+---------+--------+---------+---------+

0 commit comments

Comments
 (0)