Hello,
I am trying to use Dehydra and Treehydra under Ubuntu 8.10 with GCC
4.3.3 and Spidermonkey from current mozilla-central trunk.
After a while, compilation of Dehydra gives an error, I get the same
error when I try to build Treehydra: "Dehydra didn't find required
types needed to generate Treehydra"
It seems like it succesfully builds Dehydra, though 'make check' shows
one failure:
*************************************
...........................x..........
Test Failure:
Test command: /home/$user/gcc-dehydra/gcc-build/gcc/cc1plus -quiet
-O1 -ftest-coverage -fplugin=../gcc_dehydra.so -o /dev/null -fplugin-
arg=test_numinfo.js numinfo.cc
Failure msg: Expected 'OK' output; got 'ERR TestCase Error:
0ull != 0u'
Unit Test Suite Summary:
37 passed
1 failed
0 error(s)
*************************************
Anybody knows what's going on here? Is GCC 4.3.3 supported?
Thanks in advance,
Jan
_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis
