From 4ebbd1f9f37fabc1193bdd73e46bede85f2c43db Mon Sep 17 00:00:00 2001 From: Nick Rolfe Date: Mon, 5 Jan 2026 18:03:54 +0000 Subject: [PATCH] Docs: clarify behavior of range checks The current wording (about the sets of values being "the same") is not accurate. --- docs/codeql/ql-language-reference/formulas.rst | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/docs/codeql/ql-language-reference/formulas.rst b/docs/codeql/ql-language-reference/formulas.rst index c17ba858ed7c..06d428436c57 100644 --- a/docs/codeql/ql-language-reference/formulas.rst +++ b/docs/codeql/ql-language-reference/formulas.rst @@ -133,13 +133,11 @@ A range check is a formula that looks like: in -You can use a range check formula to check whether a numeric expression is in a given +It holds if there is at least one value in ```` that is also in the given :ref:`range `. For example, ``x in [2.1 .. 10.5]`` holds if the variable ``x`` is between the values ``2.1`` and ``10.5`` (including ``2.1`` and ``10.5`` themselves). Note that `` in `` is equivalent to `` = ``. -Both formulas check whether the set of values denoted by ```` is the same as the -set of values denoted by ````. .. _calls: