We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents bb71790 + 5e536fb commit 46a5035Copy full SHA for 46a5035
cpp/ql/lib/semmle/code/cpp/internal/Overlay.qll
@@ -62,7 +62,7 @@ private string getMultiLocationFilePath(@element e) {
62
* overlay variant.
63
*/
64
overlay[local]
65
-private predicate holdsInBase() { not isOverlay() }
+private predicate isBase() { not isOverlay() }
66
67
/**
68
* Discards an element from the base variant if:
@@ -71,7 +71,7 @@ private predicate holdsInBase() { not isOverlay() }
71
72
overlay[discard_entity]
73
private predicate discardElement(@element e) {
74
- holdsInBase() and
+ isBase() and
75
(
76
overlayChangedFiles(getSingleLocationFilePath(e))
77
or
0 commit comments