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

Apply suggestions from code review

Browse Source 
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
This commit is contained in:
Geoffrey White
2024-03-01 11:10:26 +00:00
committed by GitHub
parent a499919239
commit 1fece75f15
2 changed files with 13 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll
View File

@@ -175,7 +175,7 @@ signature module Semantic {
BasicBlock getBasicBlock();
/**
* Gets the guard as an expression.
* Gets the guard as an expression, if any.
*/
Expr asExpr();
@@ -240,11 +240,11 @@ signature module Semantic {
Type getExprType(Expr e);
/**
* A single static single assignment (SSA) variable.
* A static single-assignment (SSA) variable.
*/
class SsaVariable {
/**
* Gets the expression where this SSA variable is used.
* Gets an expression reading the value of this SSA variable.
*/
Expr getAUse();