hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 03:35:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Simplify the logic with theTypeErrorType().

Browse Source
This commit is contained in:
Kevin Backhouse
2019-01-18 16:33:48 +00:00
parent 56efe3adb7
commit 9e79e1bc8c
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
python/ql/src/Expressions/HashedButNoHash.ql
View File

@@ -65,10 +65,9 @@ predicate is_unhashable(ControlFlowNode f, ClassObject cls, ControlFlowNode orig
* it.
*/
predicate typeerror_is_caught(ControlFlowNode f) {
exists (Try try, CheckClass c |
exists (Try try |
try.getBody().contains(f.getNode()) and
c.getName() = "TypeError" and
try.getAHandler().getType().refersTo(c))
try.getAHandler().getType().refersTo(theTypeErrorType()))
}
from ControlFlowNode f, ClassObject c, ControlFlowNode origin