| |
| /*--------------------------------------------------------------------*/ |
| /*--- Assertions and panics. m_libcassert.c ---*/ |
| /*--------------------------------------------------------------------*/ |
| |
| /* |
| This file is part of Valgrind, a dynamic binary instrumentation |
| framework. |
| |
| Copyright (C) 2000-2012 Julian Seward |
| jseward@acm.org |
| |
| This program is free software; you can redistribute it and/or |
| modify it under the terms of the GNU General Public License as |
| published by the Free Software Foundation; either version 2 of the |
| License, or (at your option) any later version. |
| |
| This program is distributed in the hope that it will be useful, but |
| WITHOUT ANY WARRANTY; without even the implied warranty of |
| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| General Public License for more details. |
| |
| You should have received a copy of the GNU General Public License |
| along with this program; if not, write to the Free Software |
| Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA |
| 02111-1307, USA. |
| |
| The GNU General Public License is contained in the file COPYING. |
| */ |
| |
| #include "pub_core_basics.h" |
| #include "pub_core_vki.h" |
| #include "pub_core_vkiscnums.h" |
| #include "pub_core_libcsetjmp.h" // to keep threadstate.h happy |
| #include "pub_core_threadstate.h" |
| #include "pub_core_libcbase.h" |
| #include "pub_core_libcassert.h" |
| #include "pub_core_libcprint.h" |
| #include "pub_core_libcproc.h" // For VG_(gettid)() |
| #include "pub_core_stacktrace.h" |
| #include "pub_core_syscall.h" |
| #include "pub_core_tooliface.h" // For VG_(details).{name,bug_reports_to} |
| #include "pub_core_options.h" // For VG_(clo_xml) |
| |
| /* --------------------------------------------------------------------- |
| Assertery. |
| ------------------------------------------------------------------ */ |
| |
| #if defined(VGP_x86_linux) || defined(VGP_x86_darwin) |
| # define GET_STARTREGS(srP) \ |
| { UInt eip, esp, ebp; \ |
| __asm__ __volatile__( \ |
| "call 0f;" \ |
| "0: popl %0;" \ |
| "movl %%esp, %1;" \ |
| "movl %%ebp, %2;" \ |
| : "=r" (eip), "=r" (esp), "=r" (ebp) \ |
| : /* reads none */ \ |
| : "memory" \ |
| ); \ |
| (srP)->r_pc = (ULong)eip; \ |
| (srP)->r_sp = (ULong)esp; \ |
| (srP)->misc.X86.r_ebp = ebp; \ |
| } |
| #elif defined(VGP_amd64_linux) || defined(VGP_amd64_darwin) |
| # define GET_STARTREGS(srP) \ |
| { ULong rip, rsp, rbp; \ |
| __asm__ __volatile__( \ |
| "leaq 0(%%rip), %0;" \ |
| "movq %%rsp, %1;" \ |
| "movq %%rbp, %2;" \ |
| : "=r" (rip), "=r" (rsp), "=r" (rbp) \ |
| : /* reads none */ \ |
| : "memory" \ |
| ); \ |
| (srP)->r_pc = rip; \ |
| (srP)->r_sp = rsp; \ |
| (srP)->misc.AMD64.r_rbp = rbp; \ |
| } |
| #elif defined(VGP_ppc32_linux) |
| # define GET_STARTREGS(srP) \ |
| { UInt cia, r1, lr; \ |
| __asm__ __volatile__( \ |
| "mflr 0;" /* r0 = lr */ \ |
| "bl m_libcassert_get_ip;" /* lr = pc */ \ |
| "m_libcassert_get_ip:\n" \ |
| "mflr %0;" /* %0 = pc */ \ |
| "mtlr 0;" /* restore lr */ \ |
| "mr %1,1;" /* %1 = r1 */ \ |
| "mr %2,0;" /* %2 = lr */ \ |
| : "=r" (cia), "=r" (r1), "=r" (lr) \ |
| : /* reads none */ \ |
| : "r0" /* trashed */ \ |
| ); \ |
| (srP)->r_pc = (ULong)cia; \ |
| (srP)->r_sp = (ULong)r1; \ |
| (srP)->misc.PPC32.r_lr = lr; \ |
| } |
| #elif defined(VGP_ppc64_linux) |
| # define GET_STARTREGS(srP) \ |
| { ULong cia, r1, lr; \ |
| __asm__ __volatile__( \ |
| "mflr 0;" /* r0 = lr */ \ |
| "bl .m_libcassert_get_ip;" /* lr = pc */ \ |
| ".m_libcassert_get_ip:\n" \ |
| "mflr %0;" /* %0 = pc */ \ |
| "mtlr 0;" /* restore lr */ \ |
| "mr %1,1;" /* %1 = r1 */ \ |
| "mr %2,0;" /* %2 = lr */ \ |
| : "=r" (cia), "=r" (r1), "=r" (lr) \ |
| : /* reads none */ \ |
| : "r0" /* trashed */ \ |
| ); \ |
| (srP)->r_pc = cia; \ |
| (srP)->r_sp = r1; \ |
| (srP)->misc.PPC64.r_lr = lr; \ |
| } |
| #elif defined(VGP_arm_linux) |
| # define GET_STARTREGS(srP) \ |
| { UInt block[6]; \ |
| __asm__ __volatile__( \ |
| "str r15, [%0, #+0];" \ |
| "str r14, [%0, #+4];" \ |
| "str r13, [%0, #+8];" \ |
| "str r12, [%0, #+12];" \ |
| "str r11, [%0, #+16];" \ |
| "str r7, [%0, #+20];" \ |
| : /* out */ \ |
| : /* in */ "r"(&block[0]) \ |
| : /* trash */ "memory" \ |
| ); \ |
| (srP)->r_pc = block[0] - 8; \ |
| (srP)->r_sp = block[1]; \ |
| (srP)->misc.ARM.r14 = block[2]; \ |
| (srP)->misc.ARM.r12 = block[3]; \ |
| (srP)->misc.ARM.r11 = block[4]; \ |
| (srP)->misc.ARM.r7 = block[5]; \ |
| } |
| #elif defined(VGP_s390x_linux) |
| # define GET_STARTREGS(srP) \ |
| { ULong ia, sp, fp, lr; \ |
| __asm__ __volatile__( \ |
| "bras %0,0f;" \ |
| "0: lgr %1,15;" \ |
| "lgr %2,11;" \ |
| "lgr %3,14;" \ |
| : "=r" (ia), "=r" (sp),"=r" (fp),"=r" (lr) \ |
| /* no read & clobber */ \ |
| ); \ |
| (srP)->r_pc = ia; \ |
| (srP)->r_sp = sp; \ |
| (srP)->misc.S390X.r_fp = fp; \ |
| (srP)->misc.S390X.r_lr = lr; \ |
| } |
| #elif defined(VGP_mips32_linux) |
| # define GET_STARTREGS(srP) \ |
| { UInt pc, sp, fp, ra, gp; \ |
| asm("move $8, $31;" /* t0 = ra */ \ |
| "bal m_libcassert_get_ip;" /* ra = pc */ \ |
| "m_libcassert_get_ip:\n" \ |
| "move %0, $31;" \ |
| "move $31, $8;" /* restore lr */ \ |
| "move %1, $29;" \ |
| "move %2, $30;" \ |
| "move %3, $31;" \ |
| "move %4, $28;" \ |
| : "=r" (pc), \ |
| "=r" (sp), \ |
| "=r" (fp), \ |
| "=r" (ra), \ |
| "=r" (gp) \ |
| : /* reads none */ \ |
| : "$8" /* trashed */ ); \ |
| (srP)->r_pc = (ULong)pc - 8; \ |
| (srP)->r_sp = (ULong)sp; \ |
| (srP)->misc.MIPS32.r30 = (ULong)fp; \ |
| (srP)->misc.MIPS32.r31 = (ULong)ra; \ |
| (srP)->misc.MIPS32.r28 = (ULong)gp; \ |
| } |
| #else |
| # error Unknown platform |
| #endif |
| |
| #define BACKTRACE_DEPTH 100 // nice and deep! |
| |
| /* Pull down the entire world */ |
| void VG_(exit)( Int status ) |
| { |
| #if defined(VGO_linux) |
| (void)VG_(do_syscall1)(__NR_exit_group, status ); |
| #elif defined(VGO_darwin) |
| (void)VG_(do_syscall1)(__NR_exit, status ); |
| #else |
| # error Unknown OS |
| #endif |
| /*NOTREACHED*/ |
| // We really shouldn't reach here. Just in case we do, use some very crude |
| // methods to force abort |
| __builtin_trap(); |
| *(volatile Int*)0 = 'x'; |
| } |
| |
| // Print the scheduler status. |
| void VG_(show_sched_status) ( void ) |
| { |
| Int i; |
| VG_(printf)("\nsched status:\n"); |
| VG_(printf)(" running_tid=%d\n", VG_(get_running_tid)()); |
| for (i = 1; i < VG_N_THREADS; i++) { |
| if (VG_(threads)[i].status == VgTs_Empty) continue; |
| VG_(printf)( "\nThread %d: status = %s\n", i, |
| VG_(name_of_ThreadStatus)(VG_(threads)[i].status) ); |
| VG_(get_and_pp_StackTrace)( i, BACKTRACE_DEPTH ); |
| } |
| VG_(printf)("\n"); |
| } |
| |
| __attribute__ ((noreturn)) |
| static void report_and_quit ( const Char* report, |
| UnwindStartRegs* startRegsIN ) |
| { |
| Addr stacktop; |
| Addr ips[BACKTRACE_DEPTH]; |
| Int n_ips; |
| ThreadState *tst |
| = VG_(get_ThreadState)( VG_(lwpid_to_vgtid)( VG_(gettid)() ) ); |
| |
| // If necessary, fake up an ExeContext which is of our actual real CPU |
| // state. Could cause problems if we got the panic/exception within the |
| // execontext/stack dump/symtab code. But it's better than nothing. |
| UnwindStartRegs startRegs; |
| VG_(memset)(&startRegs, 0, sizeof(startRegs)); |
| |
| if (startRegsIN == NULL) { |
| GET_STARTREGS(&startRegs); |
| } else { |
| startRegs = *startRegsIN; |
| } |
| |
| stacktop = tst->os_state.valgrind_stack_init_SP; |
| |
| n_ips = |
| VG_(get_StackTrace_wrk)( |
| 0/*tid is unknown*/, |
| ips, BACKTRACE_DEPTH, |
| NULL/*array to dump SP values in*/, |
| NULL/*array to dump FP values in*/, |
| &startRegs, stacktop |
| ); |
| VG_(clo_xml) = False; |
| VG_(pp_StackTrace) (ips, n_ips); |
| |
| VG_(show_sched_status)(); |
| VG_(printf)( |
| "\n" |
| "Note: see also the FAQ in the source distribution.\n" |
| "It contains workarounds to several common problems.\n" |
| "In particular, if Valgrind aborted or crashed after\n" |
| "identifying problems in your program, there's a good chance\n" |
| "that fixing those problems will prevent Valgrind aborting or\n" |
| "crashing, especially if it happened in m_mallocfree.c.\n" |
| "\n" |
| "If that doesn't help, please report this bug to: %s\n\n" |
| "In the bug report, send all the above text, the valgrind\n" |
| "version, and what OS and version you are using. Thanks.\n\n", |
| report); |
| VG_(exit)(1); |
| } |
| |
| void VG_(assert_fail) ( Bool isCore, const Char* expr, const Char* file, |
| Int line, const Char* fn, const HChar* format, ... ) |
| { |
| va_list vargs; |
| Char buf[256]; |
| Char* component; |
| Char* bugs_to; |
| |
| static Bool entered = False; |
| if (entered) |
| VG_(exit)(2); |
| entered = True; |
| |
| va_start(vargs, format); |
| VG_(vsprintf) ( buf, format, vargs ); |
| va_end(vargs); |
| |
| if (isCore) { |
| component = "valgrind"; |
| bugs_to = VG_BUGS_TO; |
| } else { |
| component = VG_(details).name; |
| bugs_to = VG_(details).bug_reports_to; |
| } |
| |
| if (VG_(clo_xml)) |
| VG_(printf_xml)("</valgrindoutput>\n"); |
| |
| // Treat vg_assert2(0, "foo") specially, as a panicky abort |
| if (VG_STREQ(expr, "0")) { |
| VG_(printf)("\n%s: %s:%d (%s): the 'impossible' happened.\n", |
| component, file, line, fn ); |
| } else { |
| VG_(printf)("\n%s: %s:%d (%s): Assertion '%s' failed.\n", |
| component, file, line, fn, expr ); |
| } |
| if (!VG_STREQ(buf, "")) |
| VG_(printf)("%s: %s\n", component, buf ); |
| |
| report_and_quit(bugs_to, NULL); |
| } |
| |
| __attribute__ ((noreturn)) |
| static void panic ( Char* name, Char* report, Char* str, |
| UnwindStartRegs* startRegs ) |
| { |
| if (VG_(clo_xml)) |
| VG_(printf_xml)("</valgrindoutput>\n"); |
| VG_(printf)("\n%s: the 'impossible' happened:\n %s\n", name, str); |
| report_and_quit(report, startRegs); |
| } |
| |
| void VG_(core_panic_at) ( Char* str, UnwindStartRegs* startRegs ) |
| { |
| panic("valgrind", VG_BUGS_TO, str, startRegs); |
| } |
| |
| void VG_(core_panic) ( Char* str ) |
| { |
| VG_(core_panic_at)(str, NULL); |
| } |
| |
| void VG_(tool_panic) ( Char* str ) |
| { |
| panic(VG_(details).name, VG_(details).bug_reports_to, str, NULL); |
| } |
| |
| /* Print some helpful-ish text about unimplemented things, and give up. */ |
| void VG_(unimplemented) ( Char* msg ) |
| { |
| if (VG_(clo_xml)) |
| VG_(printf_xml)("</valgrindoutput>\n"); |
| VG_(umsg)("\n"); |
| VG_(umsg)("Valgrind detected that your program requires\n"); |
| VG_(umsg)("the following unimplemented functionality:\n"); |
| VG_(umsg)(" %s\n", msg); |
| VG_(umsg)("This may be because the functionality is hard to implement,\n"); |
| VG_(umsg)("or because no reasonable program would behave this way,\n"); |
| VG_(umsg)("or because nobody has yet needed it. " |
| "In any case, let us know at\n"); |
| VG_(umsg)("%s and/or try to work around the problem, if you can.\n", |
| VG_BUGS_TO); |
| VG_(umsg)("\n"); |
| VG_(umsg)("Valgrind has to exit now. Sorry. Bye!\n"); |
| VG_(umsg)("\n"); |
| VG_(show_sched_status)(); |
| VG_(exit)(1); |
| } |
| |
| /*--------------------------------------------------------------------*/ |
| /*--- end ---*/ |
| /*--------------------------------------------------------------------*/ |
| |