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

Reply via email to