RPM Package Manager, CVS Repository
http://rpm5.org/cvs/
____________________________________________________________________________
Server: rpm5.org Name: Jeff Johnson
Root: /v/rpm/cvs Email: j...@rpm5.org
Module: rpm Date: 20-May-2017 21:22:05
Branch: rpm-5_4 Handle: 2017052019220500
Modified files: (Branch: rpm-5_4)
rpm/python rpmdebug-py.c rpmds-py.c rpmts-py.c
Log:
- splint: RIP.
Summary:
Revision Changes Path
1.12.10.2 +0 -5 rpm/python/rpmdebug-py.c
1.44.6.5 +0 -1 rpm/python/rpmds-py.c
1.111.2.17 +0 -3 rpm/python/rpmts-py.c
____________________________________________________________________________
patch -p0 <<'@@ .'
Index: rpm/python/rpmdebug-py.c
============================================================================
$ cvs diff -u -r1.12.10.1 -r1.12.10.2 rpmdebug-py.c
--- rpm/python/rpmdebug-py.c 3 Sep 2014 20:07:18 -0000 1.12.10.1
+++ rpm/python/rpmdebug-py.c 20 May 2017 19:22:05 -0000 1.12.10.2
@@ -1,9 +1,6 @@
-/*@unchecked@*/
extern PyTypeObject PyCode_Type;
-/*@unchecked@*/
extern PyTypeObject PyDictIter_Type;
-/*@unchecked@*/
extern PyTypeObject PyFrame_Type;
#include <rpmcli.h> /* XXX debug only */
@@ -21,9 +18,7 @@
/**
*/
-/*@observer@*/
static inline const char * lbl(void * s)
- /*@*/
{
PyObject * o = s;
@@ .
patch -p0 <<'@@ .'
Index: rpm/python/rpmds-py.c
============================================================================
$ cvs diff -u -r1.44.6.4 -r1.44.6.5 rpmds-py.c
--- rpm/python/rpmds-py.c 3 Sep 2014 21:34:33 -0000 1.44.6.4
+++ rpm/python/rpmds-py.c 20 May 2017 19:22:05 -0000 1.44.6.5
@@ -118,7 +118,6 @@
case Py_GT:
case Py_GE:
case Py_EQ:
- /*@fallthrough@*/
default:
rc = -1;
break;
@@ .
patch -p0 <<'@@ .'
Index: rpm/python/rpmts-py.c
============================================================================
$ cvs diff -u -r1.111.2.16 -r1.111.2.17 rpmts-py.c
--- rpm/python/rpmts-py.c 19 Apr 2016 13:14:30 -0000 1.111.2.16
+++ rpm/python/rpmts-py.c 20 May 2017 19:22:05 -0000 1.111.2.17
@@ -287,7 +287,6 @@
if (!result) {
die(cbInfo->cb);
- /*@notreached@*/
} else {
if (PyInt_Check(result))
res = PyInt_AsLong(result);
@@ -722,7 +721,6 @@
if (!result) {
die(cbInfo->cb);
- /*@notreached@*/
}
if (what == RPMCALLBACK_INST_OPEN_FILE) {
@@ -730,7 +728,6 @@
if (!PyArg_Parse(result, "i", &fdno)) {
die(cbInfo->cb);
- /*@notreached@*/
}
Py_DECREF(result);
cbInfo->_save = PyEval_SaveThread();
@@ .
______________________________________________________________________
RPM Package Manager http://rpm5.org
CVS Sources Repository rpm-cvs@rpm5.org
