Tarmik wrote:
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)
---------------------------------------------------------------------------------------------------------------------------------------

If you've read the previous message on this list, you'll discover that this is an issue where dehydra is expecting that sizeof(int) should be 4 but it is 8 on your system. In all likelihood, it won't affect anything of your analyses, so it should be safe to ignore.
_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis

Reply via email to