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

Merge pull request #14182 from cklin/deprecate-assume-small-delta

Browse Source 
Document assume_small_delta deprecation
This commit is contained in:
Chuan-kai Lin
2023-09-13 07:54:33 -07:00
committed by GitHub
parent 18fa6f5d64 43eee2b4b3
commit 00c83f185a
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: