{"abstract":"Phi borrow origins are assigned to the wrong predecessor edge.","category":"Borrow checking","checks":21,"contract":"Check dataflow certificates for loan analysis. Reachability starts at entry and ignores dead blocks; all normal and exceptional successors participate; loop header solution includes backedge loans; kill transfer is edge-specific; phi origins correspond to predecessor edge; dominator proof must cover every incoming edge; a loan definition cannot be live before its definition except on a proven loop backedge; unreachable kills do not invalidate reachable loans; terminal return kills only function-local loans. Input is a fully explicit descriptor of the stated toy IR. Return rule identifiers in declaration order; absent optional obligations use the provided neutral defaults. No rule is an assertion about a production language.","evaluation_group":"s3-borrow-checking-cfg-loan-flow","failed_approach":"The partial repair uses if set(d['phi_edges'])!=set(d['expected_phi_edges']): errors.append('phi-edge-origin'), which still violates the stipulated analysis contract.","family":"s3-borrow-checking-cfg-loan-flow-phi-edge-origin","id":"FA-43821","implementations":{"attempt":{"sha256":"158b82d02919cccc83b6369f380568cd74b9d2d3bf5f548267f4693ac6de54dc","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if d['entry'] is not None and d['entry'] not in d['reachable']: errors.append('entry-reachability')\n    if bool(set(d['dead'])&set(d['reachable'])): errors.append('dead-block-exclusion')\n    if not set(d['normal'])<=set(d['processed']): errors.append('all-normal-successors')\n    if not set(d['exceptional'])<=set(d['processed']): errors.append('exceptional-successors')\n    if not set(d['backedge'])<=set(d['header']): errors.append('loop-backedge-join')\n    if d['edge_kills']!=d['applied_kills']: errors.append('edge-kill-locality')\n    if set(d['phi_edges'])!=set(d['expected_phi_edges']): errors.append('phi-edge-origin')\n    if not set(d['incoming'])<=set(d['dominated']): errors.append('all-path-dominance')\n    if not set(d['predef_live'])<=set(d['loop_allowed']): errors.append('predefinition-liveness')\n    if not set(d['return_killed'])<=set(d['local_loans']): errors.append('return-local-kill')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'entry': None, 'reachable': [], 'dead': [], 'normal': [], 'processed': [], 'exceptional': [], 'backedge': [], 'header': [], 'edge_kills': {}, 'applied_kills': {}, 'phi_edges': {}, 'expected_phi_edges': {}, 'incoming': [], 'dominated': [], 'predef_live': [], 'loop_allowed': [], 'dead_killed': [], 'reachable_invalidated': [], 'return_killed': [], 'local_loans': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('entry-reachability regression 0', solve(dict(base, **({'entry':'e','reachable':['x']}))), ['entry-reachability'])\ncheck('entry-reachability regression 1', solve(dict(base, **({'entry':N,'reachable':[N+1]}))), ['entry-reachability'])\ncheck('dead-block-exclusion regression 0', solve(dict(base, **({'dead':['d'],'reachable':['e','d']}))), ['dead-block-exclusion'])\ncheck('dead-block-exclusion regression 1', solve(dict(base, **({'dead':[N],'reachable':[N,N+1]}))), ['dead-block-exclusion'])\ncheck('all-normal-successors regression 0', solve(dict(base, **({'normal':['a','b'],'processed':['a']}))), ['all-normal-successors'])\ncheck('all-normal-successors regression 1', solve(dict(base, **({'normal':[N,N+1],'processed':[N]}))), ['all-normal-successors'])\ncheck('exceptional-successors regression 0', solve(dict(base, **({'exceptional':['u'],'processed':['n']}))), ['exceptional-successors'])\ncheck('exceptional-successors regression 1', solve(dict(base, **({'exceptional':[N],'processed':[N+1]}))), ['exceptional-successors'])\ncheck('loop-backedge-join regression 0', solve(dict(base, **({'backedge':['a','b'],'header':['a']}))), ['loop-backedge-join'])\ncheck('loop-backedge-join regression 1', solve(dict(base, **({'backedge':[N,N+1],'header':[N]}))), ['loop-backedge-join'])\ncheck('edge-kill-locality regression 0', solve(dict(base, **({'edge_kills':{'a':['r'],'b':[]},'applied_kills':{'a':['r'],'b':['r']}}))), ['edge-kill-locality'])\ncheck('edge-kill-locality regression 1', solve(dict(base, **({'edge_kills':{N:['r'],N+1:[]},'applied_kills':{N:['r'],N+1:['r']}}))), ['edge-kill-locality'])\ncheck('phi-edge-origin regression 0', solve(dict(base, **({'phi_edges':{'a':'y','b':'x'},'expected_phi_edges':{'a':'x','b':'y'}}))), ['phi-edge-origin'])\ncheck('phi-edge-origin regression 1', solve(dict(base, **({'phi_edges':{N:'y',N+1:'x'},'expected_phi_edges':{N:'x',N+1:'y'}}))), ['phi-edge-origin'])\ncheck('all-path-dominance regression 0', solve(dict(base, **({'incoming':['a','b'],'dominated':['a']}))), ['all-path-dominance'])\ncheck('all-path-dominance regression 1', solve(dict(base, **({'incoming':[N,N+1],'dominated':[N]}))), ['all-path-dominance'])\ncheck('predefinition-liveness regression 0', solve(dict(base, **({'predef_live':['a','b'],'loop_allowed':['a']}))), ['predefinition-liveness'])\ncheck('predefinition-liveness regression 1', solve(dict(base, **({'predef_live':[N,N+1],'loop_allowed':[N]}))), ['predefinition-liveness'])\ncheck('return-local-kill regression 0', solve(dict(base, **({'return_killed':['caller'],'local_loans':['callee']}))), ['return-local-kill'])\ncheck('return-local-kill regression 1', solve(dict(base, **({'return_killed':[N],'local_loans':[N+1]}))), ['return-local-kill'])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"972ea8d526555774beedc584ad0cc07071b35fe765ee723ed88a4092d08ea00d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if d['entry'] is not None and d['entry'] not in d['reachable']: errors.append('entry-reachability')\n    if bool(set(d['dead'])&set(d['reachable'])): errors.append('dead-block-exclusion')\n    if not set(d['normal'])<=set(d['processed']): errors.append('all-normal-successors')\n    if not set(d['exceptional'])<=set(d['processed']): errors.append('exceptional-successors')\n    if not set(d['backedge'])<=set(d['header']): errors.append('loop-backedge-join')\n    if d['edge_kills']!=d['applied_kills']: errors.append('edge-kill-locality')\n    if False: errors.append('phi-edge-origin')\n    if not set(d['incoming'])<=set(d['dominated']): errors.append('all-path-dominance')\n    if not set(d['predef_live'])<=set(d['loop_allowed']): errors.append('predefinition-liveness')\n    if not set(d['return_killed'])<=set(d['local_loans']): errors.append('return-local-kill')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'entry': None, 'reachable': [], 'dead': [], 'normal': [], 'processed': [], 'exceptional': [], 'backedge': [], 'header': [], 'edge_kills': {}, 'applied_kills': {}, 'phi_edges': {}, 'expected_phi_edges': {}, 'incoming': [], 'dominated': [], 'predef_live': [], 'loop_allowed': [], 'dead_killed': [], 'reachable_invalidated': [], 'return_killed': [], 'local_loans': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('entry-reachability regression 0', solve(dict(base, **({'entry':'e','reachable':['x']}))), ['entry-reachability'])\ncheck('entry-reachability regression 1', solve(dict(base, **({'entry':N,'reachable':[N+1]}))), ['entry-reachability'])\ncheck('dead-block-exclusion regression 0', solve(dict(base, **({'dead':['d'],'reachable':['e','d']}))), ['dead-block-exclusion'])\ncheck('dead-block-exclusion regression 1', solve(dict(base, **({'dead':[N],'reachable':[N,N+1]}))), ['dead-block-exclusion'])\ncheck('all-normal-successors regression 0', solve(dict(base, **({'normal':['a','b'],'processed':['a']}))), ['all-normal-successors'])\ncheck('all-normal-successors regression 1', solve(dict(base, **({'normal':[N,N+1],'processed':[N]}))), ['all-normal-successors'])\ncheck('exceptional-successors regression 0', solve(dict(base, **({'exceptional':['u'],'processed':['n']}))), ['exceptional-successors'])\ncheck('exceptional-successors regression 1', solve(dict(base, **({'exceptional':[N],'processed':[N+1]}))), ['exceptional-successors'])\ncheck('loop-backedge-join regression 0', solve(dict(base, **({'backedge':['a','b'],'header':['a']}))), ['loop-backedge-join'])\ncheck('loop-backedge-join regression 1', solve(dict(base, **({'backedge':[N,N+1],'header':[N]}))), ['loop-backedge-join'])\ncheck('edge-kill-locality regression 0', solve(dict(base, **({'edge_kills':{'a':['r'],'b':[]},'applied_kills':{'a':['r'],'b':['r']}}))), ['edge-kill-locality'])\ncheck('edge-kill-locality regression 1', solve(dict(base, **({'edge_kills':{N:['r'],N+1:[]},'applied_kills':{N:['r'],N+1:['r']}}))), ['edge-kill-locality'])\ncheck('phi-edge-origin regression 0', solve(dict(base, **({'phi_edges':{'a':'y','b':'x'},'expected_phi_edges':{'a':'x','b':'y'}}))), ['phi-edge-origin'])\ncheck('phi-edge-origin regression 1', solve(dict(base, **({'phi_edges':{N:'y',N+1:'x'},'expected_phi_edges':{N:'x',N+1:'y'}}))), ['phi-edge-origin'])\ncheck('all-path-dominance regression 0', solve(dict(base, **({'incoming':['a','b'],'dominated':['a']}))), ['all-path-dominance'])\ncheck('all-path-dominance regression 1', solve(dict(base, **({'incoming':[N,N+1],'dominated':[N]}))), ['all-path-dominance'])\ncheck('predefinition-liveness regression 0', solve(dict(base, **({'predef_live':['a','b'],'loop_allowed':['a']}))), ['predefinition-liveness'])\ncheck('predefinition-liveness regression 1', solve(dict(base, **({'predef_live':[N,N+1],'loop_allowed':[N]}))), ['predefinition-liveness'])\ncheck('return-local-kill regression 0', solve(dict(base, **({'return_killed':['caller'],'local_loans':['callee']}))), ['return-local-kill'])\ncheck('return-local-kill regression 1', solve(dict(base, **({'return_killed':[N],'local_loans':[N+1]}))), ['return-local-kill'])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"1002a19ebe0b879f36ebafc9769e6b822bf106a7136c51f5e7c0bfad741985f4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    errors=[]\n    if d['entry'] is not None and d['entry'] not in d['reachable']: errors.append('entry-reachability')\n    if bool(set(d['dead'])&set(d['reachable'])): errors.append('dead-block-exclusion')\n    if not set(d['normal'])<=set(d['processed']): errors.append('all-normal-successors')\n    if not set(d['exceptional'])<=set(d['processed']): errors.append('exceptional-successors')\n    if not set(d['backedge'])<=set(d['header']): errors.append('loop-backedge-join')\n    if d['edge_kills']!=d['applied_kills']: errors.append('edge-kill-locality')\n    if d['phi_edges']!=d['expected_phi_edges']: errors.append('phi-edge-origin')\n    if not set(d['incoming'])<=set(d['dominated']): errors.append('all-path-dominance')\n    if not set(d['predef_live'])<=set(d['loop_allowed']): errors.append('predefinition-liveness')\n    if not set(d['return_killed'])<=set(d['local_loans']): errors.append('return-local-kill')\n    return errors\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nbase={'entry': None, 'reachable': [], 'dead': [], 'normal': [], 'processed': [], 'exceptional': [], 'backedge': [], 'header': [], 'edge_kills': {}, 'applied_kills': {}, 'phi_edges': {}, 'expected_phi_edges': {}, 'incoming': [], 'dominated': [], 'predef_live': [], 'loop_allowed': [], 'dead_killed': [], 'reachable_invalidated': [], 'return_killed': [], 'local_loans': []}\ncheck('well formed empty obligations',solve(base),[])\ncheck('entry-reachability regression 0', solve(dict(base, **({'entry':'e','reachable':['x']}))), ['entry-reachability'])\ncheck('entry-reachability regression 1', solve(dict(base, **({'entry':N,'reachable':[N+1]}))), ['entry-reachability'])\ncheck('dead-block-exclusion regression 0', solve(dict(base, **({'dead':['d'],'reachable':['e','d']}))), ['dead-block-exclusion'])\ncheck('dead-block-exclusion regression 1', solve(dict(base, **({'dead':[N],'reachable':[N,N+1]}))), ['dead-block-exclusion'])\ncheck('all-normal-successors regression 0', solve(dict(base, **({'normal':['a','b'],'processed':['a']}))), ['all-normal-successors'])\ncheck('all-normal-successors regression 1', solve(dict(base, **({'normal':[N,N+1],'processed':[N]}))), ['all-normal-successors'])\ncheck('exceptional-successors regression 0', solve(dict(base, **({'exceptional':['u'],'processed':['n']}))), ['exceptional-successors'])\ncheck('exceptional-successors regression 1', solve(dict(base, **({'exceptional':[N],'processed':[N+1]}))), ['exceptional-successors'])\ncheck('loop-backedge-join regression 0', solve(dict(base, **({'backedge':['a','b'],'header':['a']}))), ['loop-backedge-join'])\ncheck('loop-backedge-join regression 1', solve(dict(base, **({'backedge':[N,N+1],'header':[N]}))), ['loop-backedge-join'])\ncheck('edge-kill-locality regression 0', solve(dict(base, **({'edge_kills':{'a':['r'],'b':[]},'applied_kills':{'a':['r'],'b':['r']}}))), ['edge-kill-locality'])\ncheck('edge-kill-locality regression 1', solve(dict(base, **({'edge_kills':{N:['r'],N+1:[]},'applied_kills':{N:['r'],N+1:['r']}}))), ['edge-kill-locality'])\ncheck('phi-edge-origin regression 0', solve(dict(base, **({'phi_edges':{'a':'y','b':'x'},'expected_phi_edges':{'a':'x','b':'y'}}))), ['phi-edge-origin'])\ncheck('phi-edge-origin regression 1', solve(dict(base, **({'phi_edges':{N:'y',N+1:'x'},'expected_phi_edges':{N:'x',N+1:'y'}}))), ['phi-edge-origin'])\ncheck('all-path-dominance regression 0', solve(dict(base, **({'incoming':['a','b'],'dominated':['a']}))), ['all-path-dominance'])\ncheck('all-path-dominance regression 1', solve(dict(base, **({'incoming':[N,N+1],'dominated':[N]}))), ['all-path-dominance'])\ncheck('predefinition-liveness regression 0', solve(dict(base, **({'predef_live':['a','b'],'loop_allowed':['a']}))), ['predefinition-liveness'])\ncheck('predefinition-liveness regression 1', solve(dict(base, **({'predef_live':[N,N+1],'loop_allowed':[N]}))), ['predefinition-liveness'])\ncheck('return-local-kill regression 0', solve(dict(base, **({'return_killed':['caller'],'local_loans':['callee']}))), ['return-local-kill'])\ncheck('return-local-kill regression 1', solve(dict(base, **({'return_killed':[N],'local_loans':[N+1]}))), ['return-local-kill'])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"The explicitly stated toy language is the complete scope; this is not a production compiler or a claim about Rust semantics. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-borrow-checking-cfg-loan-flow-phi-edge-origin","generated_at":"2026-09-29T14:44:05.993707+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A finite offline static-analysis model of ownership and borrowing; it does not execute the analyzed program.","repair":"Apply the specified transfer or inference rule at this site: if d['phi_edges']!=d['expected_phi_edges']: errors.append('phi-edge-origin').","root_cause":"The static analyzer mishandles phi edge origin: phi borrow origins are assigned to the wrong predecessor edge.","sha256":"1586a3cb661e1659f6f75b4ca87a9684c04077d5867801e32661aa4129c2b25c","title":"Phi borrow origins are assigned to the wrong predecessor edge · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.282,"exit_code":1,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["entry-reachability"],"check":"entry-reachability regression 0","expected":["entry-reachability"],"passed":true},{"actual":["entry-reachability"],"check":"entry-reachability regression 1","expected":["entry-reachability"],"passed":true},{"actual":["dead-block-exclusion"],"check":"dead-block-exclusion regression 0","expected":["dead-block-exclusion"],"passed":true},{"actual":["dead-block-exclusion"],"check":"dead-block-exclusion regression 1","expected":["dead-block-exclusion"],"passed":true},{"actual":["all-normal-successors"],"check":"all-normal-successors regression 0","expected":["all-normal-successors"],"passed":true},{"actual":["all-normal-successors"],"check":"all-normal-successors regression 1","expected":["all-normal-successors"],"passed":true},{"actual":["exceptional-successors"],"check":"exceptional-successors regression 0","expected":["exceptional-successors"],"passed":true},{"actual":["exceptional-successors"],"check":"exceptional-successors regression 1","expected":["exceptional-successors"],"passed":true},{"actual":["loop-backedge-join"],"check":"loop-backedge-join regression 0","expected":["loop-backedge-join"],"passed":true},{"actual":["loop-backedge-join"],"check":"loop-backedge-join regression 1","expected":["loop-backedge-join"],"passed":true},{"actual":["edge-kill-locality"],"check":"edge-kill-locality regression 0","expected":["edge-kill-locality"],"passed":true},{"actual":["edge-kill-locality"],"check":"edge-kill-locality regression 1","expected":["edge-kill-locality"],"passed":true},{"actual":[],"check":"phi-edge-origin regression 0","expected":["phi-edge-origin"],"passed":false},{"actual":[],"check":"phi-edge-origin regression 1","expected":["phi-edge-origin"],"passed":false},{"actual":["all-path-dominance"],"check":"all-path-dominance regression 0","expected":["all-path-dominance"],"passed":true},{"actual":["all-path-dominance"],"check":"all-path-dominance regression 1","expected":["all-path-dominance"],"passed":true},{"actual":["predefinition-liveness"],"check":"predefinition-liveness regression 0","expected":["predefinition-liveness"],"passed":true},{"actual":["predefinition-liveness"],"check":"predefinition-liveness regression 1","expected":["predefinition-liveness"],"passed":true},{"actual":["return-local-kill"],"check":"return-local-kill regression 0","expected":["return-local-kill"],"passed":true},{"actual":["return-local-kill"],"check":"return-local-kill regression 1","expected":["return-local-kill"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"entry-reachability regression 0\", \"actual\": [\"entry-reachability\"], \"expected\": [\"entry-reachability\"], \"passed\": true}, {\"check\": \"entry-reachability regression 1\", \"actual\": [\"entry-reachability\"], \"expected\": [\"entry-reachability\"], \"passed\": true}, {\"check\": \"dead-block-exclusion regression 0\", \"actual\": [\"dead-block-exclusion\"], \"expected\": [\"dead-block-exclusion\"], \"passed\": true}, {\"check\": \"dead-block-exclusion regression 1\", \"actual\": [\"dead-block-exclusion\"], \"expected\": [\"dead-block-exclusion\"], \"passed\": true}, {\"check\": \"all-normal-successors regression 0\", \"actual\": [\"all-normal-successors\"], \"expected\": [\"all-normal-successors\"], \"passed\": true}, {\"check\": \"all-normal-successors regression 1\", \"actual\": [\"all-normal-successors\"], \"expected\": [\"all-normal-successors\"], \"passed\": true}, {\"check\": \"exceptional-successors regression 0\", \"actual\": [\"exceptional-successors\"], \"expected\": [\"exceptional-successors\"], \"passed\": true}, {\"check\": \"exceptional-successors regression 1\", \"actual\": [\"exceptional-successors\"], \"expected\": [\"exceptional-successors\"], \"passed\": true}, {\"check\": \"loop-backedge-join regression 0\", \"actual\": [\"loop-backedge-join\"], \"expected\": [\"loop-backedge-join\"], \"passed\": true}, {\"check\": \"loop-backedge-join regression 1\", \"actual\": [\"loop-backedge-join\"], \"expected\": [\"loop-backedge-join\"], \"passed\": true}, {\"check\": \"edge-kill-locality regression 0\", \"actual\": [\"edge-kill-locality\"], \"expected\": [\"edge-kill-locality\"], \"passed\": true}, {\"check\": \"edge-kill-locality regression 1\", \"actual\": [\"edge-kill-locality\"], \"expected\": [\"edge-kill-locality\"], \"passed\": true}, {\"check\": \"phi-edge-origin regression 0\", \"actual\": [], \"expected\": [\"phi-edge-origin\"], \"passed\": false}, {\"check\": \"phi-edge-origin regression 1\", \"actual\": [], \"expected\": [\"phi-edge-origin\"], \"passed\": false}, {\"check\": \"all-path-dominance regression 0\", \"actual\": [\"all-path-dominance\"], \"expected\": [\"all-path-dominance\"], \"passed\": true}, {\"check\": \"all-path-dominance regression 1\", \"actual\": [\"all-path-dominance\"], \"expected\": [\"all-path-dominance\"], \"passed\": true}, {\"check\": \"predefinition-liveness regression 0\", \"actual\": [\"predefinition-liveness\"], \"expected\": [\"predefinition-liveness\"], \"passed\": true}, {\"check\": \"predefinition-liveness regression 1\", \"actual\": [\"predefinition-liveness\"], \"expected\": [\"predefinition-liveness\"], \"passed\": true}, {\"check\": \"return-local-kill regression 0\", \"actual\": [\"return-local-kill\"], \"expected\": [\"return-local-kill\"], \"passed\": true}, {\"check\": \"return-local-kill regression 1\", \"actual\": [\"return-local-kill\"], \"expected\": [\"return-local-kill\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.601,"exit_code":1,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["entry-reachability"],"check":"entry-reachability regression 0","expected":["entry-reachability"],"passed":true},{"actual":["entry-reachability"],"check":"entry-reachability regression 1","expected":["entry-reachability"],"passed":true},{"actual":["dead-block-exclusion"],"check":"dead-block-exclusion regression 0","expected":["dead-block-exclusion"],"passed":true},{"actual":["dead-block-exclusion"],"check":"dead-block-exclusion regression 1","expected":["dead-block-exclusion"],"passed":true},{"actual":["all-normal-successors"],"check":"all-normal-successors regression 0","expected":["all-normal-successors"],"passed":true},{"actual":["all-normal-successors"],"check":"all-normal-successors regression 1","expected":["all-normal-successors"],"passed":true},{"actual":["exceptional-successors"],"check":"exceptional-successors regression 0","expected":["exceptional-successors"],"passed":true},{"actual":["exceptional-successors"],"check":"exceptional-successors regression 1","expected":["exceptional-successors"],"passed":true},{"actual":["loop-backedge-join"],"check":"loop-backedge-join regression 0","expected":["loop-backedge-join"],"passed":true},{"actual":["loop-backedge-join"],"check":"loop-backedge-join regression 1","expected":["loop-backedge-join"],"passed":true},{"actual":["edge-kill-locality"],"check":"edge-kill-locality regression 0","expected":["edge-kill-locality"],"passed":true},{"actual":["edge-kill-locality"],"check":"edge-kill-locality regression 1","expected":["edge-kill-locality"],"passed":true},{"actual":[],"check":"phi-edge-origin regression 0","expected":["phi-edge-origin"],"passed":false},{"actual":[],"check":"phi-edge-origin regression 1","expected":["phi-edge-origin"],"passed":false},{"actual":["all-path-dominance"],"check":"all-path-dominance regression 0","expected":["all-path-dominance"],"passed":true},{"actual":["all-path-dominance"],"check":"all-path-dominance regression 1","expected":["all-path-dominance"],"passed":true},{"actual":["predefinition-liveness"],"check":"predefinition-liveness regression 0","expected":["predefinition-liveness"],"passed":true},{"actual":["predefinition-liveness"],"check":"predefinition-liveness regression 1","expected":["predefinition-liveness"],"passed":true},{"actual":["return-local-kill"],"check":"return-local-kill regression 0","expected":["return-local-kill"],"passed":true},{"actual":["return-local-kill"],"check":"return-local-kill regression 1","expected":["return-local-kill"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"entry-reachability regression 0\", \"actual\": [\"entry-reachability\"], \"expected\": [\"entry-reachability\"], \"passed\": true}, {\"check\": \"entry-reachability regression 1\", \"actual\": [\"entry-reachability\"], \"expected\": [\"entry-reachability\"], \"passed\": true}, {\"check\": \"dead-block-exclusion regression 0\", \"actual\": [\"dead-block-exclusion\"], \"expected\": [\"dead-block-exclusion\"], \"passed\": true}, {\"check\": \"dead-block-exclusion regression 1\", \"actual\": [\"dead-block-exclusion\"], \"expected\": [\"dead-block-exclusion\"], \"passed\": true}, {\"check\": \"all-normal-successors regression 0\", \"actual\": [\"all-normal-successors\"], \"expected\": [\"all-normal-successors\"], \"passed\": true}, {\"check\": \"all-normal-successors regression 1\", \"actual\": [\"all-normal-successors\"], \"expected\": [\"all-normal-successors\"], \"passed\": true}, {\"check\": \"exceptional-successors regression 0\", \"actual\": [\"exceptional-successors\"], \"expected\": [\"exceptional-successors\"], \"passed\": true}, {\"check\": \"exceptional-successors regression 1\", \"actual\": [\"exceptional-successors\"], \"expected\": [\"exceptional-successors\"], \"passed\": true}, {\"check\": \"loop-backedge-join regression 0\", \"actual\": [\"loop-backedge-join\"], \"expected\": [\"loop-backedge-join\"], \"passed\": true}, {\"check\": \"loop-backedge-join regression 1\", \"actual\": [\"loop-backedge-join\"], \"expected\": [\"loop-backedge-join\"], \"passed\": true}, {\"check\": \"edge-kill-locality regression 0\", \"actual\": [\"edge-kill-locality\"], \"expected\": [\"edge-kill-locality\"], \"passed\": true}, {\"check\": \"edge-kill-locality regression 1\", \"actual\": [\"edge-kill-locality\"], \"expected\": [\"edge-kill-locality\"], \"passed\": true}, {\"check\": \"phi-edge-origin regression 0\", \"actual\": [], \"expected\": [\"phi-edge-origin\"], \"passed\": false}, {\"check\": \"phi-edge-origin regression 1\", \"actual\": [], \"expected\": [\"phi-edge-origin\"], \"passed\": false}, {\"check\": \"all-path-dominance regression 0\", \"actual\": [\"all-path-dominance\"], \"expected\": [\"all-path-dominance\"], \"passed\": true}, {\"check\": \"all-path-dominance regression 1\", \"actual\": [\"all-path-dominance\"], \"expected\": [\"all-path-dominance\"], \"passed\": true}, {\"check\": \"predefinition-liveness regression 0\", \"actual\": [\"predefinition-liveness\"], \"expected\": [\"predefinition-liveness\"], \"passed\": true}, {\"check\": \"predefinition-liveness regression 1\", \"actual\": [\"predefinition-liveness\"], \"expected\": [\"predefinition-liveness\"], \"passed\": true}, {\"check\": \"return-local-kill regression 0\", \"actual\": [\"return-local-kill\"], \"expected\": [\"return-local-kill\"], \"passed\": true}, {\"check\": \"return-local-kill regression 1\", \"actual\": [\"return-local-kill\"], \"expected\": [\"return-local-kill\"], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.197,"exit_code":0,"observations":[{"actual":[],"check":"well formed empty obligations","expected":[],"passed":true},{"actual":["entry-reachability"],"check":"entry-reachability regression 0","expected":["entry-reachability"],"passed":true},{"actual":["entry-reachability"],"check":"entry-reachability regression 1","expected":["entry-reachability"],"passed":true},{"actual":["dead-block-exclusion"],"check":"dead-block-exclusion regression 0","expected":["dead-block-exclusion"],"passed":true},{"actual":["dead-block-exclusion"],"check":"dead-block-exclusion regression 1","expected":["dead-block-exclusion"],"passed":true},{"actual":["all-normal-successors"],"check":"all-normal-successors regression 0","expected":["all-normal-successors"],"passed":true},{"actual":["all-normal-successors"],"check":"all-normal-successors regression 1","expected":["all-normal-successors"],"passed":true},{"actual":["exceptional-successors"],"check":"exceptional-successors regression 0","expected":["exceptional-successors"],"passed":true},{"actual":["exceptional-successors"],"check":"exceptional-successors regression 1","expected":["exceptional-successors"],"passed":true},{"actual":["loop-backedge-join"],"check":"loop-backedge-join regression 0","expected":["loop-backedge-join"],"passed":true},{"actual":["loop-backedge-join"],"check":"loop-backedge-join regression 1","expected":["loop-backedge-join"],"passed":true},{"actual":["edge-kill-locality"],"check":"edge-kill-locality regression 0","expected":["edge-kill-locality"],"passed":true},{"actual":["edge-kill-locality"],"check":"edge-kill-locality regression 1","expected":["edge-kill-locality"],"passed":true},{"actual":["phi-edge-origin"],"check":"phi-edge-origin regression 0","expected":["phi-edge-origin"],"passed":true},{"actual":["phi-edge-origin"],"check":"phi-edge-origin regression 1","expected":["phi-edge-origin"],"passed":true},{"actual":["all-path-dominance"],"check":"all-path-dominance regression 0","expected":["all-path-dominance"],"passed":true},{"actual":["all-path-dominance"],"check":"all-path-dominance regression 1","expected":["all-path-dominance"],"passed":true},{"actual":["predefinition-liveness"],"check":"predefinition-liveness regression 0","expected":["predefinition-liveness"],"passed":true},{"actual":["predefinition-liveness"],"check":"predefinition-liveness regression 1","expected":["predefinition-liveness"],"passed":true},{"actual":["return-local-kill"],"check":"return-local-kill regression 0","expected":["return-local-kill"],"passed":true},{"actual":["return-local-kill"],"check":"return-local-kill regression 1","expected":["return-local-kill"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"well formed empty obligations\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"entry-reachability regression 0\", \"actual\": [\"entry-reachability\"], \"expected\": [\"entry-reachability\"], \"passed\": true}, {\"check\": \"entry-reachability regression 1\", \"actual\": [\"entry-reachability\"], \"expected\": [\"entry-reachability\"], \"passed\": true}, {\"check\": \"dead-block-exclusion regression 0\", \"actual\": [\"dead-block-exclusion\"], \"expected\": [\"dead-block-exclusion\"], \"passed\": true}, {\"check\": \"dead-block-exclusion regression 1\", \"actual\": [\"dead-block-exclusion\"], \"expected\": [\"dead-block-exclusion\"], \"passed\": true}, {\"check\": \"all-normal-successors regression 0\", \"actual\": [\"all-normal-successors\"], \"expected\": [\"all-normal-successors\"], \"passed\": true}, {\"check\": \"all-normal-successors regression 1\", \"actual\": [\"all-normal-successors\"], \"expected\": [\"all-normal-successors\"], \"passed\": true}, {\"check\": \"exceptional-successors regression 0\", \"actual\": [\"exceptional-successors\"], \"expected\": [\"exceptional-successors\"], \"passed\": true}, {\"check\": \"exceptional-successors regression 1\", \"actual\": [\"exceptional-successors\"], \"expected\": [\"exceptional-successors\"], \"passed\": true}, {\"check\": \"loop-backedge-join regression 0\", \"actual\": [\"loop-backedge-join\"], \"expected\": [\"loop-backedge-join\"], \"passed\": true}, {\"check\": \"loop-backedge-join regression 1\", \"actual\": [\"loop-backedge-join\"], \"expected\": [\"loop-backedge-join\"], \"passed\": true}, {\"check\": \"edge-kill-locality regression 0\", \"actual\": [\"edge-kill-locality\"], \"expected\": [\"edge-kill-locality\"], \"passed\": true}, {\"check\": \"edge-kill-locality regression 1\", \"actual\": [\"edge-kill-locality\"], \"expected\": [\"edge-kill-locality\"], \"passed\": true}, {\"check\": \"phi-edge-origin regression 0\", \"actual\": [\"phi-edge-origin\"], \"expected\": [\"phi-edge-origin\"], \"passed\": true}, {\"check\": \"phi-edge-origin regression 1\", \"actual\": [\"phi-edge-origin\"], \"expected\": [\"phi-edge-origin\"], \"passed\": true}, {\"check\": \"all-path-dominance regression 0\", \"actual\": [\"all-path-dominance\"], \"expected\": [\"all-path-dominance\"], \"passed\": true}, {\"check\": \"all-path-dominance regression 1\", \"actual\": [\"all-path-dominance\"], \"expected\": [\"all-path-dominance\"], \"passed\": true}, {\"check\": \"predefinition-liveness regression 0\", \"actual\": [\"predefinition-liveness\"], \"expected\": [\"predefinition-liveness\"], \"passed\": true}, {\"check\": \"predefinition-liveness regression 1\", \"actual\": [\"predefinition-liveness\"], \"expected\": [\"predefinition-liveness\"], \"passed\": true}, {\"check\": \"return-local-kill regression 0\", \"actual\": [\"return-local-kill\"], \"expected\": [\"return-local-kill\"], \"passed\": true}, {\"check\": \"return-local-kill regression 1\", \"actual\": [\"return-local-kill\"], \"expected\": [\"return-local-kill\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}