mirror of
https://github.com/github/codeql.git
synced 2026-05-03 20:58:03 +02:00
C++: Remove redundant conjunct.
This commit is contained in:
@@ -76,10 +76,7 @@ private class DefOrUse extends TDefOrUse {
|
||||
|
||||
/** Holds if this definition or use has rank `rank` in block `block`. */
|
||||
cached
|
||||
final predicate hasRankInBlock(IRBlock block, int rnk) {
|
||||
block = getBlock() and
|
||||
rnk = getRank(this, block)
|
||||
}
|
||||
final predicate hasRankInBlock(IRBlock block, int rnk) { rnk = getRank(this, block) }
|
||||
|
||||
/** Gets the location of this element. */
|
||||
abstract Cpp::Location getLocation();
|
||||
|
||||
Reference in New Issue
Block a user