I am trying to run the following example from the TreeHydra manual:

require({ after_gcc_pass: "cfg" });
include('gcc_util.js');              // for function_decl_cfg
include('gcc_print.js');
function process_tree(fn) {
    print("function " + decl_name(fn));   // fn is a FUNCTION_DECL
    let cfg = function_decl_cfg(fn);
    for (let bb in cfg_bb_iterator(cfg)) {
        print("    basic block " + bb_label(cfg, bb));
        for (let isn in bb_isn_iterator(bb)) {
            print("        " + isn_display(isn));
        }
       }
}

But the following error:

/home/cjh/tmp/dehydra/treehydra.js:1: JS Warning: Unrecognized require
keyword 'after_gcc_pass'
/home/cjh/work/mozilla/dehydra/libs/gcc_util.js:440: JS Exception:
ReferenceError: call_expr_arg_iterator is not defined

Is this a case of bit rot? Does anyone have working TreeHydra example?

Thanks,

Chris
_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis

Reply via email to