Hi !
Finally I've managed to build up dehydra & treehydra on Redhat linux.
(After fighting with libgmp, libmpfr, hg, old python version, and
building spidermonkey, gcc)
One test however fails for treehydra:
make check_treehydra
---------------------------------------------------------------------------------------------------------------------------------------
.....x.............................
Test Failure:
Test command: /home/<login>/lang/gcc-dehydra/gcc-build/gcc/cc1plus
-quiet -O1 -ftest-coverage -fplugin=../gcc_treehydra.so -o /dev/null -
fplugin-arg=test_lazytypes.js types.cc
Failure msg: Expected 'OK' output; got 'at path:
root.type.variantOf.members.0.type.members.0.type.bitfieldOf.max.value
dehydra: 4294967295 lazy: 18446744073709551615'
Unit Test Suite Summary:
34 passed
1 failed
0 error(s)
---------------------------------------------------------------------------------------------------------------------------------------
Now I've tried to identify which java scripts (*.js) files I should
use, and found plenty of them, but each of them has it's own problem.
For instance
./gcc-dehydra/installed/bin/g++ -fplugin=./dehydra/dehydra-gcc/
gcc_dehydra.so -fplugin-arg=./dehydra/dehydra-gcc/libs/unstable/
lazy_types.js hello_world.c
produces an error:
./dehydra/dehydra-gcc/libs/gcc_compat.js:20: JS Exception:
ReferenceError: isGCC42 is not defined
By editing .js file, and adding following two lines:
include ('platform.js');
include ('map.js');
seems to fix the problem, but I don't see any result of execution.
Running other .js produces similar problems.
dehydra.js -> ./dehydra/dehydra-gcc/libs/dehydra.js:71: JS Exception:
TypeError: redeclaration of const FCALL
gcc_print.js -> same as first one.
"Static Analysis" link here https://developer.mozilla.org/En/Dehydra -
seems to be routing to some error database ?
Those java scripts available in (tree|de)-hydra are not described
anywhere on your web page ?
I would be also intrested in static code analysis, but also not
described ?
Also if I will be cross porting dehydra on cygwin, I need to have some
sort of reference working functionality -
what would be best way to diagnoze whether everything works fine on
dehydra ? some sort of *print*.js sounds
like the alternative, as soon as I get it working.
_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis
