We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c9fbf83 commit 7272587Copy full SHA for 7272587
java/ql/lib/semmle/code/java/dataflow/internal/rangeanalysis/SignAnalysisCommon.qll
@@ -374,11 +374,3 @@ predicate strictlyNegative(Expr e) {
374
not exprSign(e) = TPos() and
375
not exprSign(e) = TZero()
376
}
377
-
378
-/**
379
- * Expose some predicates for testing purposes without making them implicitly public to any module
380
- * that imports this file.
381
- */
382
-module SignAnalysisCommonTest {
383
- predicate testSsaDefSign = ssaDefSign/1;
384
-}
0 commit comments