changeset 977:1aba99b7f01c

workaround for Valgrind bugs with various opcodes
author thomask
date Fri, 28 Apr 2006 09:54:50 +0000
parents 4bc1d14d6851
children 4c5ccd0d4947
files dstress.c
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/dstress.c	Fri Apr 28 08:48:17 2006 +0000
+++ b/dstress.c	Fri Apr 28 09:54:50 2006 +0000
@@ -948,7 +948,8 @@
 	}
 
 	/* test 2/3 - run */
-	if(VALGRIND && VALGRIND[0]){
+	/* FIXME asm workaround due to Valgrind bugs */
+	if(VALGRIND && VALGRIND[0] && !strstr(case_file, "/asm_") && !strstr(case_file, "\\asm_")){
 		bufferLen = strlen(VALGRIND) + strlen(case_file) + 8;
 		buffer = malloc(bufferLen);
 		snprintf(buffer, bufferLen, "%s %s.exe", VALGRIND, case_file);