Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

SIGABRT on using Milu with sqlite.c #12

Open
vrthra opened this issue May 5, 2016 · 0 comments
Open

SIGABRT on using Milu with sqlite.c #12

vrthra opened this issue May 5, 2016 · 0 comments

Comments

@vrthra
Copy link

vrthra commented May 5, 2016

I took sqlite3 current version (linked), created an amalgamated sqlite3.c, passed through gcc -E, and fed it into Milu as described in Readme. I added all functions in https://www.sqlite.org/c3ref/funclist.html in the func.txt, and executed below

./bin/milu -f func.txt sqlite3.c

I get SIGABRT (coredump analysis from gdb)

ERROR:src/mutation/ASTPrinter.c:1254:print_source_expr: code should not be reached

Program received signal SIGABRT, Aborted.
0x0000003482c32625 in raise () from /lib64/libc.so.6
Missing separate debuginfos, use: debuginfo-install clang-3.4.2-4.el6.x86_64 glib2-2.28.8-4.el6.x86_64 glibc-2.12-1.166.el6_7.7.x86_64 libffi-3.0.5-3.2.el6.x86_64 libgcc-4.4.7-16.el6.x86_64 libstdc++-4.4.7-16.el6.x86_64 llvm-libs-3.4.2-4.el6.x86_64 ncurses-libs-5.7-3.20090208.el6.x86_64
(gdb) where
#0  0x0000003482c32625 in raise () from /lib64/libc.so.6
#1  0x0000003482c33e05 in abort () from /lib64/libc.so.6
#2  0x0000003484467324 in g_assertion_message () from /lib64/libglib-2.0.so.0
#3  0x0000000000407aea in print_source_expr (node=0x1a35f20, buffer=0x24fccc0, is_stmt=0) at src/mutation/ASTPrinter.c:1254
#4  0x00000000004074c5 in print_source_unexposed_expr (parent=0x1a35e40, buffer=0x24fccc0) at src/mutation/ASTPrinter.c:1042
#5  0x00000000004078c7 in print_source_expr (node=0x1a35e40, buffer=0x24fccc0, is_stmt=0) at src/mutation/ASTPrinter.c:1163
#6  0x0000000000406ae2 in print_source_call_expr (parent=0x1a355e0, buffer=0x24fccc0) at src/mutation/ASTPrinter.c:708
#7  0x0000000000408112 in print_source_stmt (node=0x1a355e0, buffer=0x24fccc0) at src/mutation/ASTPrinter.c:1405
#8  0x0000000000406c51 in print_source_compound_stmt (parent=0x1a2aea0, buffer=0x24fccc0) at src/mutation/ASTPrinter.c:749
#9  0x0000000000407022 in print_source_function_decl (parent=0x1a2ac00, buffer=0x24fccc0) at src/mutation/ASTPrinter.c:853
#10 0x000000000040590b in ASTNode_print_source (parent=0x632480, output=0x23f6a00) at src/mutation/ASTPrinter.c:125
#11 0x000000000040ccc7 in ASTUnit_print (au=0x630e80, mode=PrintSource, output=0x23f6a00) at src/mutation/ASTUnit.c:1159
#12 0x000000000040f9f1 in mutant_save (mut=0x245f800) at src/mutation/Mutant.c:132
#13 0x0000000000411b42 in mutants_save (muts=0x2688020) at src/mutation/MutantSet.c:215
#14 0x000000000040f505 in milu_multi_process_mutants (mutants=0x2688020, mfunc=0x411af5 <mutants_save>) at src/mutation/MultiProcessing.c:59
#15 0x000000000040e8eb in milu_save_mutants (mutants=0x2688020) at src/mutation/Milu3.c:81
#16 0x000000000040289b in main (argc=4, argv=0x7fffffffda58) at src/App.c:118

Environment: Centos 6.6

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant