From: Florian Krohm <florian@eich-krohm.de>
Date: Tue, 24 Feb 2015 18:11:01 +0000 (+0000)
Subject: Add a comment explaining why there are only 3 emulation warnings
X-Git-Tag: svn/VALGRIND_3_11_0~630
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=12401cdc4118485645ff5a0d103771de25e626ee;p=thirdparty%2Fvalgrind.git

Add a comment explaining why there are only 3 emulation warnings
and not 4 as one would expect.
Update the .exp file to show correct line numbers.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14962
---

diff --git a/none/tests/s390x/fpext_warn.c b/none/tests/s390x/fpext_warn.c
index 0bc4f6ddfe..cc4bd764e0 100644
--- a/none/tests/s390x/fpext_warn.c
+++ b/none/tests/s390x/fpext_warn.c
@@ -11,6 +11,10 @@ main(void)
    __asm__ volatile ( CEGBRA(1,0,0,0) : : : "cc", "memory");
    __asm__ volatile ( CEFBRA(3,0,0,0) : : : "cc", "memory");
    __asm__ volatile ( CDGBRA(4,0,0,0) : : : "cc", "memory");
+
+   /* Note: an emulation warning is expected for the following
+      insn but none is given. The reason is that at most 3 warnings
+      of a given kind will be issued - and we already had three. */
    __asm__ volatile ( CEFBRA(5,0,0,0) : : : "cc", "memory");
 
    printf("after\n");
diff --git a/none/tests/s390x/fpext_warn.stderr.exp b/none/tests/s390x/fpext_warn.stderr.exp
index eb42c49295..0dd3bffb97 100644
--- a/none/tests/s390x/fpext_warn.stderr.exp
+++ b/none/tests/s390x/fpext_warn.stderr.exp
@@ -4,17 +4,17 @@ Emulation warning: unsupported action:
   feature requires the floating point extension facility
   which is not available on this host. Continuing using
   the rounding mode from FPC. Results may differ!
-   at 0x........: main (fpext_warn.c:10)
+   at 0x........: main (fpext_warn.c:11)
 Emulation warning: unsupported action:
   The specified rounding mode cannot be supported. That
   feature requires the floating point extension facility
   which is not available on this host. Continuing using
   the rounding mode from FPC. Results may differ!
-   at 0x........: main (fpext_warn.c:10)
+   at 0x........: main (fpext_warn.c:12)
 Emulation warning: unsupported action:
   The specified rounding mode cannot be supported. That
   feature requires the floating point extension facility
   which is not available on this host. Continuing using
   the rounding mode from FPC. Results may differ!
-   at 0x........: main (fpext_warn.c:10)
+   at 0x........: main (fpext_warn.c:13)