|
From: <sv...@va...> - 2008-06-30 10:56:15
|
Author: bart
Date: 2008-06-30 11:56:18 +0100 (Mon, 30 Jun 2008)
New Revision: 8318
Log:
Since information about PowerPC-specific atomic instructions is now passed to tools, remove the warning about these instructions not being supported.
Modified:
trunk/exp-drd/drd_main.c
Modified: trunk/exp-drd/drd_main.c
===================================================================
--- trunk/exp-drd/drd_main.c 2008-06-30 10:50:33 UTC (rev 8317)
+++ trunk/exp-drd/drd_main.c 2008-06-30 10:56:18 UTC (rev 8318)
@@ -831,16 +831,11 @@
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_ppc32_linux) || defined(VGP_ppc64_linux)
/* fine */
-# elif defined(VGP_ppc32_linux) || defined(VGP_ppc64_linux)
- VG_(printf)(
-"\nWARNING: support for PowerPC-specific atomic instructions like lwarx and\n"
-"stwcx is not yet complete. As a result, false positives will be reported on\n"
-"code that uses these instructions. This will happen e.g. when printf() is\n"
-"called from more than one thread.\n\n");
# else
- VG_(printf)("\nWARNING: DRD has only been tested on x86-linux and amd64-linux.\n\n");
+ VG_(printf)("\nWARNING: DRD has only been tested on Linux.\n\n");
# endif
if (s_drd_var_info)
|