Correct a function pre/postcondition [PR102403].

[thirdparty/gcc.git] / gcc / gcov-io.h

diff --git a/gcc/gcov-io.h b/gcc/gcov-io.h
index ff92afe63dff18c35a2e6575534b2ef9cc3ccd2e..99e1964c1094553ac2dee1db77751a624d252ca9 100644 (file)
--- a/gcc/gcov-io.h
+++ b/gcc/gcov-io.h
@@ -45,12 +45,11 @@ see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
    stored as two 32 bit numbers, the low part first.
    The number of bytes is stored, followed by the
    string. Zero length and NULL strings are simply stored as a length
-   of zero (they have no trailing NUL or padding).
+   of zero (they have no trailing NUL).
 
        int32:  byte3 byte2 byte1 byte0 | byte0 byte1 byte2 byte3
        int64:  int32:low int32:high
        string: int32:0 | int32:length char* char:0
-       padding: | char:0 | char:0 char:0 | char:0 char:0 char:0
        item: int32 | int64 | string
 
    The basic format of the notes file is
@@ -368,6 +367,7 @@ char *mangle_path (char const *base);
 
 #if !IN_GCOV
 /* Available outside gcov */
+GCOV_LINKAGE void gcov_write (const void *, unsigned) ATTRIBUTE_HIDDEN;
 GCOV_LINKAGE void gcov_write_unsigned (gcov_unsigned_t) ATTRIBUTE_HIDDEN;
 #endif