RPM Package Manager, CVS Repository
  http://rpm5.org/cvs/
  ____________________________________________________________________________

  Server: rpm5.org                         Name:   Jeff Johnson
  Root:   /v/rpm/cvs                       Email:  [email protected]
  Module: rpm                              Date:   10-Dec-2009 19:48:54
  Branch: HEAD                             Handle: 2009121018485400

  Modified files:
    rpm/build               rpmspec.h

  Log:
    - build: splint fiddles.

  Summary:
    Revision    Changes     Path
    2.84        +9  -3      rpm/build/rpmspec.h
  ____________________________________________________________________________

  patch -p0 <<'@@ .'
  Index: rpm/build/rpmspec.h
  ============================================================================
  $ cvs diff -u -r2.83 -r2.84 rpmspec.h
  --- rpm/build/rpmspec.h       1 Jun 2009 13:40:28 -0000       2.83
  +++ rpm/build/rpmspec.h       10 Dec 2009 18:48:54 -0000      2.84
  @@ -10,7 +10,7 @@
   
   /** \ingroup rpmbuild
    */
  -typedef struct Package_s * Package;
  +typedef /*...@abstract@*/ /*...@refcounted@*/ struct Package_s * Package;
   
   /** \ingroup rpmbuild
    */
  @@ -190,8 +190,11 @@
   /*...@only@*/ /*...@relnull@*/
       tagStore_t foo;
   
  -/*...@owned@*/
       Package packages;                /*!< Package list. */
  +#if defined(__LCLINT__)
  +/*...@refs@*/
  +    int nrefs;                       /*!< (unused) keep splint happy */
  +#endif
   };
   
   /** \ingroup rpmbuild
  @@ -238,8 +241,11 @@
   /*...@only@*/
       rpmiob fileList;         /* If NULL, package will not be written */
   
  -/*...@dependent@*/
       Package next;
  +#if defined(__LCLINT__)
  +/*...@refs@*/
  +    int nrefs;                       /*!< (unused) keep splint happy */
  +#endif
   };
   
   #ifdef __cplusplus
  @@ .
______________________________________________________________________
RPM Package Manager                                    http://rpm5.org
CVS Sources Repository                                [email protected]

Reply via email to