|
From: <sv...@va...> - 2015-11-08 10:42:14
|
Author: philippe
Date: Sun Nov 8 10:42:06 2015
New Revision: 15723
Log:
If --history-level=full was not provided at startup, report an error in
helgrind accesshistory monitor command
As accesshistory will never show anything unless this option is given.
Modified:
trunk/helgrind/hg_main.c
Modified: trunk/helgrind/hg_main.c
==============================================================================
--- trunk/helgrind/hg_main.c (original)
+++ trunk/helgrind/hg_main.c Sun Nov 8 10:42:06 2015
@@ -4988,6 +4988,12 @@
{
Addr address;
SizeT szB = 1;
+ if (HG_(clo_history_level) < 2) {
+ VG_(gdb_printf)
+ ("helgrind must be started with --history-level=full"
+ " to use accesshistory\n");
+ return True;
+ }
if (VG_(strtok_get_address_and_size) (&address, &szB, &ssaveptr)) {
if (szB >= 1)
libhb_event_map_access_history (address, szB, HG_(print_access));
|