Skip to content

Commit f172e36

Browse files
committed
C#: Address more review comments.
1 parent c44e6fc commit f172e36

File tree

2 files changed

+2
-1
lines changed

2 files changed

+2
-1
lines changed

csharp/ql/lib/semmle/code/csharp/controlflow/ControlFlowElement.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -40,6 +40,7 @@ class ControlFlowElement extends ExprOrStmtParent, @control_flow_element {
4040
*/
4141
Nodes::ElementNode getAControlFlowNode() { result.getAstNode() = this }
4242

43+
/** Gets the control flow node for this element. */
4344
ControlFlow::Node getControlFlowNode() { result.getAstNode() = this }
4445

4546
/** Gets the basic block in which this element occurs. */

csharp/ql/lib/semmle/code/csharp/dataflow/Nullness.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,7 @@ private Expr maybeNullExpr(Expr reason) {
3434
or
3535
result.(AssignExpr).getRValue() = maybeNullExpr(reason)
3636
or
37-
result.(Cast).getExpr() = maybeNullExpr(reason)
37+
result.(CastExpr).getExpr() = maybeNullExpr(reason)
3838
or
3939
result =
4040
any(ConditionalExpr ce |

0 commit comments

Comments
 (0)