Hi Martin, On Wed, 2016-06-15 at 09:15 +0200, Martin Nowack wrote: > Well yes, i stumbled over it as well. > Please have a look here, this explains it and a patch is attached: > https://llvm.org/bugs/show_bug.cgi?id=19816
Thank you for this! It works with your patch. However, if this was in LLVM 3.4 and on Debian I have LLVM 3.4.2 installed, it is strange they haven't incorporated your fix. -- Regards, Marko Dimjašević <ma...@cs.utah.edu> . University of Utah https://dimjasevic.net/marko . PGP key ID: 1503F0AA Learn email self-defense! https://emailselfdefense.fsf.org
signature.asc
Description: This is a digitally signed message part
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev