if (sigNo == VKI_SIGSEGV
&& info && is_signal_from_kernel(info->si_code)
&& info->si_code == VKI_SEGV_MAPERR) {
- VG_UMSG("If you believe this happened as a result of a stack" );
- VG_UMSG("overflow in your program's main thread (unlikely but");
- VG_UMSG("possible), you can try to increase the size of the" );
- VG_UMSG("main thread stack using the --main-stacksize= flag." );
+ VG_UMSG(" If you believe this happened as a result of a stack" );
+ VG_UMSG(" overflow in your program's main thread (unlikely but");
+ VG_UMSG(" possible), you can try to increase the size of the" );
+ VG_UMSG(" main thread stack using the --main-stacksize= flag." );
// FIXME: assumes main ThreadId == 1
if (VG_(is_valid_tid)(1)) {
VG_UMSG(" The main thread stack size used in this run was %d.",
Bad memory (SIGSEGV or SIGBUS) at address 0x........
at 0x........: test2 (addressable.c:51)
by 0x........: main (addressable.c:125)
- If you believe this happened as a result of a stack overflow in your
- program's main thread (unlikely but possible), you can try to increase
- the size of the main thread stack using the --main-stacksize= flag.
+ If you believe this happened as a result of a stack
+ overflow in your program's main thread (unlikely but
+ possible), you can try to increase the size of the
+ main thread stack using the --main-stacksize= flag.
The main thread stack size used in this run was ....
ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0)
Access not within mapped region at address 0x........
at 0x........: ???
by 0x........: (below main)
- If you believe this happened as a result of a stack overflow in your
- program's main thread (unlikely but possible), you can try to increase
- the size of the main thread stack using the --main-stacksize= flag.
+ If you believe this happened as a result of a stack
+ overflow in your program's main thread (unlikely but
+ possible), you can try to increase the size of the
+ main thread stack using the --main-stacksize= flag.
The main thread stack size used in this run was ....
ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
Access not within mapped region at address 0x........
at 0x........: ???
by 0x........: (below main)
- If you believe this happened as a result of a stack overflow in your
- program's main thread (unlikely but possible), you can try to increase
- the size of the main thread stack using the --main-stacksize= flag.
+ If you believe this happened as a result of a stack
+ overflow in your program's main thread (unlikely but
+ possible), you can try to increase the size of the
+ main thread stack using the --main-stacksize= flag.
The main thread stack size used in this run was ....
Process terminating with default action of signal 11 (SIGSEGV)
Access not within mapped region at address 0x........
at 0x........: main (blockfault.c:30)
- If you believe this happened as a result of a stack overflow in your
- program's main thread (unlikely but possible), you can try to increase
- the size of the main thread stack using the --main-stacksize= flag.
+ If you believe this happened as a result of a stack
+ overflow in your program's main thread (unlikely but
+ possible), you can try to increase the size of the
+ main thread stack using the --main-stacksize= flag.
The main thread stack size used in this run was ....