else VG_BOOL_CLO(arg, "--trace-syscalls", VG_(clo_trace_syscalls))
else VG_BOOL_CLO(arg, "--trace-pthreads", VG_(clo_trace_pthreads))
else VG_BOOL_CLO(arg, "--wait-for-gdb", VG_(clo_wait_for_gdb))
- else VG_BOOL_CLO(arg, "--model-pthreads", VG_(clo_model_pthreads))
else VG_STR_CLO (arg, "--db-command", VG_(clo_db_command))
else VG_STR_CLO (arg, "--sim-hints", VG_(clo_sim_hints))
VG_(debugLog)(1, "main", "Finalise initial image\n");
VG_(ii_finalise_image)( the_iifii );
- //--------------------------------------------------------------
- // Initialise the pthread model
- // p: ?
- //--------------------------------------------------------------
- //if (VG_(clo_model_pthreads))
- // VG_(pthread_init)();
-
//--------------------------------------------------------------
// Initialise the signal handling subsystem
// p: n/a
// jrs: Huh? but they surely are already gone
VG_(reap_threads)(tid);
- VG_(clo_model_pthreads) = False;
-
// Clean the client up before the final report
// this causes the libc_freeres function to run
final_tidyup(tid);
// that none of the other threads ever run again.
vg_assert( VG_(count_living_threads)() >= 1 );
- VG_(clo_model_pthreads) = False;
-
// Clean the client up before the final report
// this causes the libc_freeres function to run
// perhaps this is unsafe, as per comment above
Bool VG_(clo_run_libc_freeres) = True;
Bool VG_(clo_track_fds) = False;
Bool VG_(clo_show_below_main)= False;
-Bool VG_(clo_model_pthreads) = False;
Bool VG_(clo_show_emwarns) = False;
Int VG_(clo_max_stackframe) = 2000000;
Bool VG_(clo_wait_for_gdb) = False;
extern Bool VG_(clo_run_libc_freeres);
/* Continue stack traces below main()? Default: NO */
extern Bool VG_(clo_show_below_main);
-/* Model the pthread library */
-extern Bool VG_(clo_model_pthreads);
/* Should we show VEX emulation warnings? Default: NO */
extern Bool VG_(clo_show_emwarns);