From ee3ffa07007c4af820deeeb8a067f7012b23e84f Mon Sep 17 00:00:00 2001 From: madneal Date: Mon, 11 Jan 2021 21:43:24 +0800 Subject: [PATCH] add extra clarifications in the comments --- docs/codeql/ql-language-reference/predicates.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/codeql/ql-language-reference/predicates.rst b/docs/codeql/ql-language-reference/predicates.rst index f769885482e..1850b0a1ee0 100644 --- a/docs/codeql/ql-language-reference/predicates.rst +++ b/docs/codeql/ql-language-reference/predicates.rst @@ -226,7 +226,7 @@ Here are a few examples of infinite predicates: Compilation errors: ERROR: "i" is not bound to a value. ERROR: "result" is not bound to a value. - ERROR: expression is not bound to a value. + ERROR: expression "i * 4" is not bound to a value. */ int multiplyBy4(int i) { result = i * 4 @@ -235,7 +235,7 @@ Here are a few examples of infinite predicates: /* Compilation errors: ERROR: "str" is not bound to a value. - ERROR: expression is not bound to a value. + ERROR: expression "str.length()" is not bound to a value. */ predicate shortString(string str) { str.length() < 10