replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #644 from thk123/bugfix/lint-non-ascii-crash 

Fixed crash on non-ascii diff
This commit is contained in:
Daniel Kroening 2017-03-15 18:18:41 +00:00 committed by GitHub
parent 409f97ecaf 835277b01a
commit fee04d637d
1 changed files with 13 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
scripts/filter_lint_by_diff.py
View File

@ -11,20 +11,19 @@ if len(sys.argv) != 3:
added_lines = set()
repository_root = sys.argv[2]
with open(sys.argv[1], "r") as f:
diff = unidiff.PatchSet(f)
for diff_file in diff:
filename = diff_file.target_file
# Skip files deleted in the tip (b side of the diff):
if filename == "/dev/null":
continue
assert filename.startswith("b/")
filename = os.path.join(repository_root, filename[2:])
added_lines.add((filename, 0))
for diff_hunk in diff_file:
for diff_line in diff_hunk:
if diff_line.line_type == "+":
added_lines.add((filename, diff_line.target_line_no))
diff = unidiff.PatchSet.from_filename(sys.argv[1])
for diff_file in diff:
filename = diff_file.target_file
# Skip files deleted in the tip (b side of the diff):
if filename == "/dev/null":
continue
assert filename.startswith("b/")
filename = os.path.join(repository_root, filename[2:])
added_lines.add((filename, 0))
for diff_hunk in diff_file:
for diff_line in diff_hunk:
if diff_line.line_type == "+":
added_lines.add((filename, diff_line.target_line_no))
for l in sys.stdin:
bits = l.split(":")