Java/C++/C#: Address review comment.

This commit is contained in:
Anders Schack-Mulligen
2019-08-12 10:37:41 +02:00
parent 9e902066ad
commit 411bc16f44
4 changed files with 4 additions and 4 deletions

View File

@@ -431,7 +431,7 @@ class BarrierGuard extends Guard {
/** Holds if this guard validates `e` upon evaluating to `branch`. */
abstract predicate checks(Expr e, boolean branch);
/** Gets a node guarded by this. */
/** Gets a node guarded by this guard. */
final Node getAGuardedNode() {
exists(SsaVariable v, boolean branch, RValue use |
this.checks(v.getAUse(), branch) and