hi there,
I just managed to install dehydra on an ArchLinux box (here is my
package btw: http://aur.archlinux.org/packages.php?ID=36835)
My plan was to use dehydra as a gccxml replacement to wrap C and C++
libraries for e.g. python.
but, it seems I ran into a roadblock.
while processing C++ code ran fine, processing the following C code:
/* emacs, this is -*-c-*- */
struct C
{
int i;
float f;
};
static
int
foo()
{ return 42; }
int bar() { return 42; }
/* eof */
crashed like so:
$ gcc -fPIC -Wall -std=c99 -fplugin=/usr/lib/dehydra/gcc_dehydra.so -
fplugin-arg-gcc_dehydra-=./dump_types.js -shared -o ./t2.so ./t2.c
util.c:164: Assertion failed:0.
If the file compiles correctly without invoking dehydra please file a
bug, include a testcase or .ii file produced with -save-temps
$ gcc --version
gcc (GCC) 4.5.0
Copyright (C) 2010 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There
is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
PURPOSE.
this doesn't fail when only the struct is present.
being able to also analyze C code bases would be greatly valuable :)
what would need to be done to try fix this ?
cheers,
sebastien.
_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis