[CPP-418] QLDoc enhancements #1864
Conversation
zlaski-semmle
changed the title
|
Which modules still need fixing (and are not being worked on by someone else)? |
… figure out how to describe unknown and erroneous types.)
…erations and built-in operations.
…sorted complex number operations, where surface syntax could not be determined.
zlaski-semmle
force-pushed
the
zlaski/cpp418
branch
from
a06228f to
ee9cced
Compare
assorted complex/imaginary arithmetic operations.
| * `getInitializingExpr()` is `x < y`. | ||
| * A C++ variable declaration inside the conditional expression of a `while` or `if` | ||
| * compound statement. Declaring a variable this way narrows its lifetime and scope | ||
| * to be strictly the compound statement itself. For example: |
There was a problem hiding this comment.
I assume they can occur in a for loop as well?
There was a problem hiding this comment.
No, they cannot. The initializer clause of a for can indeed contain declaration(s), but they are not conditional ones (i.e., compared against zero) as in while or if.
There was a problem hiding this comment.
What about:
for (i = 0; bool c = x < y; x++) ...
There was a problem hiding this comment.
No, that is not legal (though an interesting idea); the second clause must be an expression, not a declaration.
| @@ -997,7 +1055,7 @@ private Expr getStmtResultExpr(Stmt stmt) { | |||
| } | |||
|
|
|||
| /** | |||
| * A C/C++ this expression. | |||
| * The C++ `this` pointer. | |||
There was a problem hiding this comment.
Why is it better to describe this as a pointer rather than an expression?
(I agree with replacing "C/C++" with just "C++" here).
There was a problem hiding this comment.
Calling it a pointer is just simpler (and the way most C++ programmers think about this).
similar to array initializers.
|
Now #2309. |
Type.qll for now.