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

Merge pull request #13274 from kaspersv/kaspersv/late-inline-member-preds-doc

Browse Source 
Docs: Late inlining now supported for member predicates
This commit is contained in:
Kasper Svendsen
2023-05-24 16:19:42 +02:00
committed by GitHub
parent 05f3934042 770e76a04d
commit 92b408fbc1
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/codeql/ql-language-reference/annotations.rst
View File

@@ -292,7 +292,7 @@ at the places where it is called.
``pragma[inline_late]``
-----------------------
**Available for**: |non-member predicates|
**Available for**: |characteristic predicates|, |member predicates|, |non-member predicates|
The ``pragma[inline_late]`` annotation must be used in conjunction with a
``bindingset[...]`` pragma. Together, they tell the QL optimiser to use the

2
docs/codeql/ql-language-reference/ql-language-specification.rst
View File

@@ -738,7 +738,7 @@ The parameterized annotation ``pragma`` supplies compiler pragmas, and may be ap
+===========================+=========+============+===================+=======================+=========+========+=========+=========+
| ``inline`` | | yes | yes | yes | | | | |
+---------------------------+---------+------------+-------------------+-----------------------+---------+--------+---------+---------+
| ``inline_late`` | | | | yes | | | | |
| ``inline_late`` | | yes | yes | yes | | | | |
+---------------------------+---------+------------+-------------------+-----------------------+---------+--------+---------+---------+
| ``noinline`` | | yes | yes | yes | | | | |
+---------------------------+---------+------------+-------------------+-----------------------+---------+--------+---------+---------+