search

GaloisInc / cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.
https://galoisinc.github.io/cclyzerpp/
BSD 3-Clause "New" or "Revised" License
134 stars 15 forks source link

LLVM 13, Ubuntu 22.04 #103

Closed langston-barrett closed 1 year ago

langston-barrett commented 1 year ago

Towards #12

langston-barrett commented 1 year ago

f I run build the new Docker container as cclyzer-dev-13 and run

docker run --rm -it --mount type=bind,src=$PWD,target=/work --workdir /work cclyzer-dev-13 env MAKE_GOLD_TESTS=1 pytest -x |& tee log

I see

----------------------------- Captured stderr call -----------------------------
opt: unknown pass name 'cclyzer'

Not sure what's wrong yet.

langston-barrett commented 1 year ago

Not sure what's wrong yet.

Looks like LLVM 13 switched to the new pass manager, have to explicitly disable that on the command line. Done in conftest.py, will need to be documented (probably after #100.

langston-barrett commented 1 year ago

Oof, so many golden test file changes. To see which ones might be relevant, I'm using this script:

from subprocess import check_output
out = check_output(["git", "diff", "--numstat", "HEAD", "HEAD~1"])
files = set()
for line in out.decode("utf-8").splitlines():
    if "gold" not in line:
        continue
    (add, rm, nm) = line.split()
    if abs(int(add) - int(rm)) > 1:
        files.add(nm)
for f in files:
    print(f)

which gives me

test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.stack_allocation_by_instr.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.allocation_size.golden.csv
test/gold/points-to_malloc-context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/points-to_malloc-context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.var_points_to.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_subregion_ctx.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O0-fno-discard-value-names.2-callsite.unification.callgraph.callgraph_edge.golden.csv
test/gold/points-to_malloc-context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.var_points_to.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.var_points_to.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/virtual.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.allocation_size.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.callgraph.callgraph_edge.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.operand_points_to.golden.csv
test/gold/cfg-test.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.ptr_points_to.golden.csv
test/gold/notes.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/points-to_new-context.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.var_points_to.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.var_points_to.golden.csv
test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.allocation_size.golden.csv
test/gold/notes.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/notes.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.var_points_to.golden.csv
test/gold/points-to_malloc-context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.callgraph.callgraph_edge.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.allocation_size.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.operand_points_to.golden.csv
test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.stack_allocation_by_instr.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.unification.callgraph.callgraph_edge.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.stack_allocation_by_instr.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.stack_allocation_by_instr.golden.csv
test/gold/virtual.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.ptr_points_to.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O0-fno-discard-value-names.2-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_subregion_ctx.golden.csv
test/gold/virtual.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.callgraph.callgraph_edge.golden.csv
test/gold/points-to_new-context.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O0-fno-discard-value-names.2-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.unification.callgraph.callgraph_edge.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O0-fno-discard-value-names.1-callsite.subset.callgraph.callgraph_edge.golden.csv
test/gold/points-to_malloc-context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.operand_points_to.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.var_points_to.golden.csv
test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.var_points_to.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.ptr_points_to.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.callgraph.callgraph_edge.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.ptr_points_to.golden.csv
test/gold/virtual.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.var_points_to.golden.csv
test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/points-to_new-context.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.callgraph.callgraph_edge.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.stack_allocation_by_type_instr.golden.csv
test/gold/points-to_new-context.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.operand_points_to.golden.csv
test/gold/points-to_new-context.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.var_points_to.golden.csv
test/gold/virtual.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.unification.callgraph.callgraph_edge.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.heap_allocation_by_type_instr.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O0-fno-discard-value-names.2-callsite.allocation_size.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.callgraph.callgraph_edge.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.callgraph.callgraph_edge.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O0-fno-discard-value-names.1-callsite.stack_allocation_by_instr.golden.csv
test/gold/points-to_new-context.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_subregion_ctx.golden.csv
test/gold/points-to_new-context.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_subregion_ctx.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O0-fno-discard-value-names.2-callsite.stack_allocation_by_instr.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O0-fno-discard-value-names.2-callsite.subset.ptr_points_to.golden.csv
test/gold/points-to_malloc-context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_subregion_ctx.golden.csv
test/gold/points-to_new-context.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.callgraph.callgraph_edge.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.heap_allocation_by_type_instr.golden.csv
test/gold/points-to_malloc-context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.unification.callgraph.callgraph_edge.golden.csv
test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.callgraph.callgraph_edge.golden.csv
test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.unification.callgraph.callgraph_edge.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.allocation_size.golden.csv
test/gold/virtual.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/virtual.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.ptr_points_to.golden.csv
test/gold/notes.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.stack_allocation_by_instr.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.stack_allocation_by_type_instr.golden.csv
test/gold/points-to_new-context.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.callgraph.callgraph_edge.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.operand_points_to.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_subregion_ctx.golden.csv
test/gold/virtual.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.operand_points_to.golden.csv
test/gold/notes.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.operand_points_to.golden.csv
test/gold/points-to_malloc-context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/notes.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.allocation_size.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O0-fno-discard-value-names.1-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/points-to_new-context.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.unification.callgraph.callgraph_edge.golden.csv
test/gold/notes.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.unification.callgraph.callgraph_edge.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O0-fno-discard-value-names.1-callsite.subset.var_points_to.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O0-fno-discard-value-names.2-callsite.subset.operand_points_to.golden.csv
test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.operand_points_to.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.heap_allocation_by_type_instr.golden.csv
test/gold/cfg-test.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.ptr_points_to.golden.csv
test/gold/virtual.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_subregion_ctx.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O0-fno-discard-value-names.1-callsite.unification.callgraph.callgraph_edge.golden.csv
test/gold/points-to_malloc-context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/virtual.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_subregion_ctx.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.unification.callgraph.callgraph_edge.golden.csv
test/gold/notes.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.callgraph.callgraph_edge.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O0-fno-discard-value-names.2-callsite.subset.var_points_to.golden.csv
test/gold/points-to_malloc-context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.operand_points_to.golden.csv
test/gold/points-to_malloc-context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_subregion_ctx.golden.csv
test/gold/virtual.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.allocation_size.golden.csv
test/gold/virtual.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.unification.callgraph.callgraph_edge.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.ptr_points_to.golden.csv
test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.operand_points_to.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/points-to_new-context.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/virtual.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.unification.callgraph.callgraph_edge.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.ptr_points_to.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.callgraph.callgraph_edge.golden.csv
test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.ptr_points_to.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O0-fno-discard-value-names.1-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_subregion_ctx.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.var_points_to.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_subregion_ctx.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O0-fno-discard-value-names.2-callsite.subset.callgraph.callgraph_edge.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.stack_allocation_by_instr.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.operand_points_to.golden.csv
test/gold/points-to_new-context.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.operand_points_to.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.stack_allocation_by_instr.golden.csv
test/gold/notes.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.unification.callgraph.callgraph_edge.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.allocation_size.golden.csv
test/gold/points-to_new-context.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.unification.callgraph.callgraph_edge.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.var_points_to.golden.csv
test/gold/points-to_context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.var_points_to.golden.csv
test/gold/notes.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.operand_points_to.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.stack_allocation_by_instr.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/notes.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.allocation_size.golden.csv
test/gold/notes.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_subregion_ctx.golden.csv
test/gold/cfg-test.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.var_points_to.golden.csv
test/gold/notes.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.global_allocation_by_variable.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O0-fno-discard-value-names.1-callsite.subset.operand_points_to.golden.csv
test/gold/points-to_new-context.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/notes.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.global_allocation_by_variable.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.allocation_size.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/virtual.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.var_points_to.golden.csv
test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.allocation_size.golden.csv
test/gold/virtual.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_subregion_ctx.golden.csv
test/gold/notes.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.callgraph.callgraph_edge.golden.csv
test/gold/notes.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.unification.callgraph.callgraph_edge.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.unification.callgraph.callgraph_edge.golden.csv
test/gold/virtual.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.callgraph.callgraph_edge.golden.csv
test/gold/notes.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.var_points_to.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.operand_points_to.golden.csv
test/gold/cfg-test.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/points-to_malloc-context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.callgraph.callgraph_edge.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.ptr_points_to.golden.csv
test/gold/virtual.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_must_alias_ctx.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O0-fno-discard-value-names.1-callsite.subset.ptr_points_to.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O0-fno-discard-value-names.1-callsite.allocation_size.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_subregion_ctx.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.operand_points_to.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.heap_allocation_by_type_instr.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O0-fno-discard-value-names.2-callsite.subset_lift.alloc_subregion_ctx.golden.csv
test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.unification.callgraph.callgraph_edge.golden.csv
test/gold/points-to_malloc-context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_may_alias_ctx.golden.csv
test/gold/virtual.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset.operand_points_to.golden.csv
test/gold/ovington-extra-minimal.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.allocation_size.golden.csv
test/gold/type-backprop.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset_lift.alloc_subregion_ctx.golden.csv
test/gold/points-to_malloc-context.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.unification.callgraph.callgraph_edge.golden.csv
test/gold/notes.clang.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.1-callsite.subset_lift.alloc_subregion_ctx.golden.csv
test/gold/cxxbasic.clang++.-g-grecord-gcc-switches-O1-O1-fno-discard-value-names.2-callsite.subset.callgraph.callgraph_edge.golden.csv

Which is still a ton...