|
From: <sv...@va...> - 2008-05-18 06:43:06
|
Author: bart
Date: 2008-05-18 07:43:09 +0100 (Sun, 18 May 2008)
New Revision: 8101
Log:
Disabled warning message on ppc64. Added assert against section type unkown.
Modified:
branches/CROSS_COMPILATION/exp-drd/drd_main.c
Modified: branches/CROSS_COMPILATION/exp-drd/drd_main.c
===================================================================
--- branches/CROSS_COMPILATION/exp-drd/drd_main.c 2008-05-18 06:40:18 UTC (rev 8100)
+++ branches/CROSS_COMPILATION/exp-drd/drd_main.c 2008-05-18 06:43:09 UTC (rev 8101)
@@ -834,10 +834,12 @@
static
void drd_post_clo_init(void)
{
-# if defined(VGP_x86_linux) || defined(VGP_amd64_linux)
+# if defined(VGP_x86_linux) \
+ || defined(VGP_amd64_linux) \
+ || defined(VGP_ppc64_linux)
/* fine */
# else
- VG_(printf)("\nWARNING: DRD has only been tested on x86-linux and amd64-linux.\n\n");
+ VG_(printf)("\nWARNING: DRD has not been tested on this platform.\n\n");
# endif
if (s_drd_var_info)
@@ -977,10 +979,13 @@
switch (st->tag)
{
case Ist_IMark:
- instrument = VG_(seginfo_sect_kind)(NULL, 0, st->Ist.IMark.addr)
- != Vg_SectPLT;
+ {
+ const VgSectKind sk = VG_(seginfo_sect_kind)(NULL, 0, st->Ist.IMark.addr);
+ tl_assert(sk != Vg_SectUnknown);
+ instrument = sk != Vg_SectPLT;
addStmtToIRSB(bb, st);
break;
+ }
case Ist_MBE:
switch (st->Ist.MBE.event)
|