hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

QLSpec: Apply suggestions from code review

Browse Source 
Co-authored-by: Jonas Jensen <jbj@github.com>
This commit is contained in:
Alexander Eyers-Taylor
2022-02-25 15:34:43 +00:00
committed by GitHub
parent 7ea8577e23
commit 6b9ccd6e91
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1310,20 +1310,20 @@ The abbreviated cases for an ``any`` expression are interpreted in the same way
Expression Pragma
~~~~~~~~~~~~~~~~~
Expression pragmas can be used to guide optimisation.
Expression pragmas can be used to guide optimization.
::
expression_pragma ::= "pragma" "[" expression_pragma_type "]" "(" expr ")"
expression_pragma_type ::= "only_bind_out" | "only_bind_into"
The values of an expression pragma are the values of the expression.
The values of an expression pragma are the values of the contained expression.
The type `only_bind_out` hints that uses the result of the expression pragma should not be used to guide the evaluation of the result of the contained expression.
The type `only_bind_out` hints that uses of the result of the expression pragma should not be used to guide the evaluation of the result of the contained expression.
When checking to see that all values are bound the compiler does not assume that if the result of the expression pragma is bound then the result of the contained
expression is bound.
The type `only_bind_into` hints that uses the result of expression pragma should not be used to guide the evaluation of the result of the expression pragma.
The type `only_bind_into` hints that uses of the contained expression should not be used to guide the evaluation of the result of the expression pragma.
When checking to see that all values are bound the compiler does not assume that if the result of the contained expression is bound then the result of the
expression pragma is bound.