hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-05 18:50:23 +01:00
Code Issues Packages Projects Releases Wiki Activity

Document assume_small_delta deprecation

Browse Source
This commit is contained in:
Chuan-kai Lin
2023-09-11 10:37:15 -07:00
parent b291ee361a
commit 43eee2b4b3
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -435,9 +435,11 @@ For more information, see ":ref:`Binding <binding>`."
**Available for**: |characteristic predicates|, |member predicates|, |non-member predicates|
The ``pragma[assume_small_delta]`` annotation changes the compilation of the annotated recursive predicate.
If the compiler normally generates the join orders ``order_<1>``, ``order_<2>``, ``order_<3>``, and ``standard_order``,
applying this annotation makes ``standard_order`` the same as ``order_<3>`` and removes the (now redundant) ``order_<3>`` join order.
.. pull-quote:: Important
This annotation is deprecated.
The ``pragma[assume_small_delta]`` annotation has no effect and can be safely removed.
.. _language: