hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Add clarifying comment and pragma.

Browse Source
This commit is contained in:
Mark Shannon
2019-06-14 16:57:32 +01:00
parent 1d269b0cd5
commit f29dfa5112
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
python/ql/src/semmle/python/Pruning.qll
View File

@@ -548,7 +548,8 @@ module Pruner {
simply_dead(pred, succ)
}
/* Helper for `unreachableEdge` */
/* Helper for `unreachableEdge`, deal with inequalities here to avoid blow up */
pragma [inline]
private predicate contradicts(Constraint a, Constraint b) {
a.contradicts(b) or
a.(ConstrainedByConstant).minValue() > b.(ConstrainedByConstant).maxValue() or