"""
Parses the id of the process that ran with ASAN from the output logs.
"""
import sys, argparse, re


def main():
    parser = argparse.ArgumentParser()
    parser.add_argument(
        "--infile",
        nargs="?",
        type=argparse.FileType("r"),
        default=sys.stdin,
        help="The sanitizer output to get the pid from",
    )
    parser.add_argument(
        "--outfile",
        nargs="?",
        type=argparse.FileType("r"),
        default=sys.stdout,
        help="Where to write the result",
    )
    args = parser.parse_args()

    pid = process_file(args.infile)
    args.outfile.write(pid)
    args.infile.close()
    args.outfile.close()


def process_file(infile):
    # check first line is just ==== divider
    first_line_pattern = re.compile(r"=*")
    assert first_line_pattern.match(infile.readline())

    # parse out pid from 2nd line
    # `==PID==ERROR: SanitizerName: error-type on address...`
    pid_pattern = re.compile(r"==([0-9]*)==ERROR:")
    pid = pid_pattern.search(infile.readline()).group(1)

    # ignore the rest

    assert pid and pid.isdigit()

    return pid


if __name__ == "__main__":
    main()