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

add extra clarifications in the comments

Browse Source
This commit is contained in:
madneal
2021-01-11 21:43:24 +08:00
parent 4e373aaf29
commit ee3ffa0700
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
docs/codeql/ql-language-reference/predicates.rst
View File

@@ -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