diff options
Diffstat (limited to 'cross-project-tests/debuginfo-tests/dexter/dex/dextIR/ProgramState.py')
| -rw-r--r-- | cross-project-tests/debuginfo-tests/dexter/dex/dextIR/ProgramState.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/cross-project-tests/debuginfo-tests/dexter/dex/dextIR/ProgramState.py b/cross-project-tests/debuginfo-tests/dexter/dex/dextIR/ProgramState.py index 4f05189aed8b..a1de5fbcf363 100644 --- a/cross-project-tests/debuginfo-tests/dexter/dex/dextIR/ProgramState.py +++ b/cross-project-tests/debuginfo-tests/dexter/dex/dextIR/ProgramState.py @@ -11,6 +11,7 @@ fixed point in execution. import os from collections import OrderedDict +from pathlib import PurePath from typing import List class SourceLocation: @@ -31,7 +32,7 @@ class SourceLocation: if not other or not isinstance(other, SourceLocation): return False - if self.path and (self.path != other.path): + if self.path and (other.path is None or (PurePath(self.path) != PurePath(other.path))): return False if self.lineno and (self.lineno != other.lineno): |