building dlvhex core with clang-3.0 and using gringo/clasp leads to segfaults, depending on boost version:
1.44 segfaults
1.46 is ok
1.51 segfaults
gringo/clasp was built with gcc from precise
building gringo/clasp with clang (and the clang patch) does not help, at least not for 1.44
the problem is triggered by a new() statement in allocating LparseConverter from gringo, however gringo also uses this statement and there it does not segfault
probably bug in clang? retry with next clang release?
building dlvhex core with clang-3.0 and using gringo/clasp leads to segfaults, depending on boost version:
1.44 segfaults 1.46 is ok 1.51 segfaults
gringo/clasp was built with gcc from precise building gringo/clasp with clang (and the clang patch) does not help, at least not for 1.44
the problem is triggered by a new() statement in allocating LparseConverter from gringo, however gringo also uses this statement and there it does not segfault
probably bug in clang? retry with next clang release?