Hi all,
Having another go with dehydra, doing something easy for a Saturday night :-)
I'm a bit rusty, but I think I'm following the instructions OK. Using gcc-4.5
(revision 153993.)
Any suggestions?
Brad
bradh-...@saxicola:~/dehydra-gcc/dehydra$ ./configure
--js-libs=/home/bradh-dev/spidermonkey/lib/
--js-headers=/home/bradh-dev/spidermonkey/include/js/
--gcc-build=/home/bradh-dev/gcc-build/
./configure:5: DeprecationWarning: The popen2 module is deprecated. Use the
subprocess module.
import getopt, sys, os.path, os, platform, popen2
Checking js-libs: /home/bradh-dev/spidermonkey/lib
Checking js-headers: /home/bradh-dev/spidermonkey/include/js/
Disabling C testsuite
Checking for a C++ compiler: /home/bradh-dev/gcc-installed/bin/g++
Checking for /home/bradh-dev/gcc-installed/bin/g++ plugin headers:
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include
Will use /home/bradh-dev/gcc-installed/bin/g++ to build Treehydra
bradh-...@saxicola:~/dehydra-gcc/dehydra$ make
makeobj[0]: Entering directory `/home/bradh-dev/dehydra-gcc/dehydra'
cc -MD -g3 -Wall -fPIC -DXP_UNIX -DIN_GCC -DPLUGIN_NO_POISON -DHAVE_CONFIG_H
-I/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include
-I/home/bradh-dev/spidermonkey/include/js/ -
I/home/bradh-dev/spidermonkey/lib -I//home/bradh-dev/local/include/js/ -c
dehydra_plugin.c
cc -MD -g3 -Wall -fPIC -DXP_UNIX -DIN_GCC -DPLUGIN_NO_POISON -DHAVE_CONFIG_H
-I/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include
-I/home/bradh-dev/spidermonkey/include/js/ -
I/home/bradh-dev/spidermonkey/lib -I//home/bradh-dev/local/include/js/ -c
dehydra_builtins.c
cc -MD -g3 -Wall -fPIC -DXP_UNIX -DIN_GCC -DPLUGIN_NO_POISON -DHAVE_CONFIG_H
-I/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include
-I/home/bradh-dev/spidermonkey/include/js/ -
I/home/bradh-dev/spidermonkey/lib -I//home/bradh-dev/local/include/js/ -c
dehydra_ast.c
cc -MD -g3 -Wall -fPIC -DXP_UNIX -DIN_GCC -DPLUGIN_NO_POISON -DHAVE_CONFIG_H
-I/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include
-I/home/bradh-dev/spidermonkey/include/js/ -
I/home/bradh-dev/spidermonkey/lib -I//home/bradh-dev/local/include/js/ -c
dehydra.c
cc -MD -g3 -Wall -fPIC -DXP_UNIX -DIN_GCC -DPLUGIN_NO_POISON -DHAVE_CONFIG_H
-I/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include
-I/home/bradh-dev/spidermonkey/include/js/ -
I/home/bradh-dev/spidermonkey/lib -I//home/bradh-dev/local/include/js/ -c
util.c
cc -MD -g3 -Wall -fPIC -DXP_UNIX -DIN_GCC -DPLUGIN_NO_POISON -DHAVE_CONFIG_H
-I/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include
-I/home/bradh-dev/spidermonkey/include/js/ -
I/home/bradh-dev/spidermonkey/lib -I//home/bradh-dev/local/include/js/ -c
dehydra_types.c
cc -o gcc_dehydra.so dehydra_plugin.o dehydra_builtins.o dehydra_ast.o
dehydra.o util.o dehydra_types.o -lm -L/home/bradh-dev/spidermonkey/lib
-Wl,-rpath,/home/bradh-dev/spidermonkey/lib,-lmozjs -shared
cc -MD -g3 -Wall -fPIC -DXP_UNIX -DIN_GCC -DPLUGIN_NO_POISON -DHAVE_CONFIG_H
-I/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include
-I/home/bradh-dev/spidermonkey/include/js/ -
I/home/bradh-dev/spidermonkey/lib -I//home/bradh-dev/local/include/js/ -c
treehydra.c
cc -MD -g3 -Wall -fPIC -DXP_UNIX -DIN_GCC -DPLUGIN_NO_POISON -DHAVE_CONFIG_H
-I/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include
-I/home/bradh-dev/spidermonkey/include/js/ -
I/home/bradh-dev/spidermonkey/lib -I//home/bradh-dev/local/include/js/ -c
treehydra_builtins.c
cc -MD -g3 -Wall -fPIC -DXP_UNIX -DIN_GCC -DPLUGIN_NO_POISON -DHAVE_CONFIG_H
-I/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include
-I/home/bradh-dev/spidermonkey/include/js/ -
I/home/bradh-dev/spidermonkey/lib -I//home/bradh-dev/local/include/js/ -c
treehydra_plugin.c
/home/bradh-dev/gcc-installed/bin/g++ -Wp,-C -save-temps -DTREEHYDRA_CONVERT_JS
-fpermissive -fshow-column -Wall -fPIC -DXP_UNIX -DIN_GCC -DPLUGIN_NO_POISON
-DHAVE_CONFIG_H -I/home/bradh-dev/gcc-
installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include
-I/home/bradh-dev/spidermonkey/include/js/ -I/home/bradh-dev/spidermonkey/lib
-I//home/bradh-dev/local/include/js/ -fplugin=./gcc_dehydra.so -fplugin-arg-
gcc_dehydra-=convert_tree.js gcc_cp_headers.h -o /dev/null
Dehydra didn't find required types needed to generate Treehydra
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/tree.h:402:21:
Likely harmless: unhandled union tree_ann_d tree_base::ann
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-
gnu/4.5.0/plugin/include/tree.h:402:21
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/tree.h:1402:23:
Harmless: tree_real_cst::real_cst_ptr' type is incomplete
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/tree.h:1413:24:
Harmless: tree_fixed_cst::fixed_cst_ptr' type is incomplete
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/cp/cp-tree.h:1775:77:
Harmless: lang_decl_fn::lang_decl_u3::pending_inline_info' type is incomplete
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/hashtab.h:102:13:
Likely harmless: unhandled undefined unsigned int htab::hash_f
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-
gnu/4.5.0/plugin/include/hashtab.h:102:13
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/hashtab.h:105:11:
Likely harmless: unhandled undefined int htab::eq_f
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-
gnu/4.5.0/plugin/include/hashtab.h:105:11
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/hashtab.h:108:12:
Likely harmless: unhandled undefined void htab::del_f
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-
gnu/4.5.0/plugin/include/hashtab.h:108:12
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/hashtab.h:111:79:
Likely harmless: unhandled undefined void htab::entries
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-
gnu/4.5.0/plugin/include/hashtab.h:111:79
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/hashtab.h:131:14:
Likely harmless: unhandled undefined void htab::alloc_f
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-
gnu/4.5.0/plugin/include/hashtab.h:131:14
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/hashtab.h:132:13:
Likely harmless: unhandled undefined void htab::free_f
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-
gnu/4.5.0/plugin/include/hashtab.h:132:13
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/hashtab.h:135:51:
Harmless: skipping htab::alloc_arg.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/hashtab.h:136:23:
Likely harmless: unhandled undefined void htab::alloc_with_arg_f
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-
gnu/4.5.0/plugin/include/hashtab.h:136:23
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/hashtab.h:137:22:
Likely harmless: unhandled undefined void htab::free_with_arg_f
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-
gnu/4.5.0/plugin/include/hashtab.h:137:22
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/tree.h:2759:7:
Harmless: tree_decl_with_rtl::rtl' type is incomplete
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/tree.h:2875:7:
Harmless: tree_parm_decl::incoming_rtl' type is incomplete
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/function.h:464:21:
Harmless: function::eh' type is incomplete
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/gimple.h:343:72:
Harmless: skipping gimple_statement_with_ops_base::def_ops.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/gimple.h:344:72:
Harmless: skipping gimple_statement_with_ops_base::use_ops.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/gimple.h:373:56:
Harmless: skipping gimple_statement_with_memory_ops_base::vdef.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/gimple.h:374:56:
Harmless: skipping gimple_statement_with_memory_ops_base::vuse.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/tree.h:1887:76:
Harmless: skipping ssa_use_operand_d::prev.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/tree.h:1888:76:
Harmless: skipping ssa_use_operand_d::next.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/tree.h:1894:88:
Harmless: skipping ssa_use_operand_d::loc.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/tree.h:1895:56:
Skipping ssa_use_operand_d::use because it causes issues I don't feel like
dealing with
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/basic-block.h:130:61:
Harmless: edge_def::edge_def_insns::r' type is incomplete
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/basic-block.h:134:58:
Harmless: skipping edge_def::aux.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/basic-block.h:223:58:
Harmless: skipping basic_block_def::aux.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/basic-block.h:226:16:
Harmless: basic_block_def::loop_father' type is incomplete
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/basic-block.h:229:73:
Harmless: basic_block_def::dom' type is incomplete
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/basic-block.h:261:7:
Harmless: rtl_bb_info::head_' type is incomplete
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/basic-block.h:262:7:
Harmless: rtl_bb_info::end_' type is incomplete
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/basic-block.h:266:7:
Harmless: rtl_bb_info::header' type is incomplete
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/basic-block.h:267:7:
Harmless: rtl_bb_info::footer' type is incomplete
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/basic-block.h:402:33:
Likely harmless: unhandled undefined unsigned int
control_flow_graph::x_n_bbs_in_dom_tree /home/bradh-dev/gcc-
installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/basic-block.h:402:33
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/bitmap.h:67:61:
Likely harmless: unhandled undefined long unsigned int
bitmap_element_def::bits /home/bradh-dev/gcc-
installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/bitmap.h:67:61
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/bitmap.h:48:59:
Harmless: skipping bitmap_obstack::obstack.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/tree-flow.h:68:73:
Harmless: skipping gimple_df::decls_to_pointers.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/tree-ssa-operands.h:68:9:
Likely harmless: unhandled undefined bool ssa_operands::ops_active
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-
pc-linux-gnu/4.5.0/plugin/include/tree-ssa-operands.h:68:9
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/tree-ssa-operands.h:70:74:
Harmless: skipping ssa_operands::free_defs.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/tree-ssa-operands.h:71:74:
Harmless: skipping ssa_operands::free_uses.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/function.h:476:17:
Harmless: function::x_current_loops' type is incomplete
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/function.h:479:51:
Harmless: skipping function::value_histograms.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/config/i386/i386.h:2362:29:
Harmless: machine_function::stack_locals' type is incomplete
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/config/i386/i386.h:2366:47:
Likely harmless: unhandled undefined int
machine_function::optimize_mode_switching /home/bradh-dev/gcc-
installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/config/i386/i386.h:2366:47
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/config/i386/i386.h:2357:7:
Harmless: machine_cfa_state::reg' type is incomplete
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/function.h:528:68:
Harmless: skipping function::ipa_transforms_to_apply.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/function.h:533:57:
Harmless: skipping function::cannot_be_copied_reason.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/tree.h:2315:21:
Skipping tree_type::symtab because it causes issues I don't feel like dealing
with
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/cp/cp-tree.h:1233:17:
Harmless: lang_type_class::nested_udts' type is incomplete
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/tree.h:1949:46:
Harmless: skipping tree_omp_clause::subcode.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/cgraph.h:290:58:
Harmless: skipping cgraph_edge::aux.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/cgraph.h:191:51:
Harmless: skipping cgraph_node::aux.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/cgraph.h:77:72:
Harmless: skipping cgraph_local_info::lto_file_data.
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/cgraph.h:131:8:
Likely harmless: unhandled undefined bool cgraph_global_info::inlined
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-
gnu/4.5.0/plugin/include/cgraph.h:131:8
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/cgraph.h:150:8:
Likely harmless: unhandled undefined bool ipa_replace_map::replace_p
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-
linux-gnu/4.5.0/plugin/include/cgraph.h:150:8
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include/cgraph.h:152:8:
Likely harmless: unhandled undefined bool ipa_replace_map::ref_p
/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-
gnu/4.5.0/plugin/include/cgraph.h:152:8
Generated treehydra_generated.c
Generated enums.js
cc -MD -g3 -Wall -fPIC -DXP_UNIX -DIN_GCC -DPLUGIN_NO_POISON -DHAVE_CONFIG_H
-I/home/bradh-dev/gcc-installed/bin/../lib/gcc/i686-pc-linux-gnu/4.5.0/plugin/include
-I/home/bradh-dev/spidermonkey/include/js/ -
I/home/bradh-dev/spidermonkey/lib -I//home/bradh-dev/local/include/js/ -c
treehydra_generated.c
treehydra_generated.c: In function 'lazy_lang_decl_min':
treehydra_generated.c:1197: error: 'struct lang_decl_min' has no member named
'u'
treehydra_generated.c: In function 'lazy_ssa_use_operand_d':
treehydra_generated.c:1927: warning: unused variable 'topmost'
make: *** [treehydra_generated.o] Error 1
makeobj[0]: Leaving directory `/home/bradh-dev/dehydra-gcc/dehydra'
_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis
