[Pcsclite-cvs-commit] Drivers/ccid/src ccid_serial.c,1.22,1.23 ccid_usb.c,1.30,1.31 ccid_usb.h,1.9,1.10

[rousseau@haydn.debian.org]

Update of /cvsroot/pcsclite/Drivers/ccid/src
In directory haydn:/tmp/cvs-serv23848

Modified Files:
	ccid_serial.c ccid_usb.c ccid_usb.h 
Log Message:
mark potentially null values as /*@null@*/ for splint


Index: ccid_serial.c
===================================================================
RCS file: /cvsroot/pcsclite/Drivers/ccid/src/ccid_serial.c,v
retrieving revision 1.22
retrieving revision 1.23
diff -u -d -r1.22 -r1.23
--- ccid_serial.c	9 Jul 2004 13:21:44 -0000	1.22
+++ ccid_serial.c	9 Jul 2004 13:23:37 -0000	1.23
@@ -107,7 +107,7 @@
 	/*
 	 * device used ("/dev/ttyS?" under Linux)
 	 */
-	char *device;
+	/*@null@*/ char *device;
 
 	/*
 	 * serial communication buffer

Index: ccid_usb.c
===================================================================
RCS file: /cvsroot/pcsclite/Drivers/ccid/src/ccid_usb.c,v
retrieving revision 1.30
retrieving revision 1.31
diff -u -d -r1.30 -r1.31
--- ccid_usb.c	9 Jul 2004 13:21:43 -0000	1.30
+++ ccid_usb.c	9 Jul 2004 13:23:37 -0000	1.31
@@ -107,7 +107,7 @@
  *					OpenUSBByName
  *
  ****************************************************************************/
-status_t OpenUSBByName(unsigned int lun, char *device)
+status_t OpenUSBByName(unsigned int lun, /*@null@*/ char *device)
 {
 	static struct usb_bus *busses = NULL;
 	unsigned int reader = LunToReaderIndex(lun);
@@ -538,7 +538,7 @@
  *					get_ccid_usb_interface
  *
  ****************************************************************************/
-struct usb_interface * get_ccid_usb_interface(struct usb_device *dev)
+/*@null@*/ struct usb_interface * get_ccid_usb_interface(struct usb_device *dev)
 {
 	struct usb_interface *usb_interface = NULL; 
 

Index: ccid_usb.h
===================================================================
RCS file: /cvsroot/pcsclite/Drivers/ccid/src/ccid_usb.h,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -d -r1.9 -r1.10
--- ccid_usb.h	9 Jul 2004 07:10:17 -0000	1.9
+++ ccid_usb.h	9 Jul 2004 13:23:37 -0000	1.10
@@ -23,7 +23,7 @@
 
 status_t OpenUSB(unsigned int lun, int channel);
 
-status_t OpenUSBByName(unsigned int lun, char *device);
+status_t OpenUSBByName(unsigned int lun, /*@null@*/ char *device);
 
 status_t WriteUSB(unsigned int lun, unsigned int length, unsigned char *Buffer);
 
@@ -34,6 +34,6 @@
 #ifdef __USB_H__
 int get_desc(int channel, usb_dev_handle **handle, struct usb_device **dev);
 
-struct usb_interface *get_ccid_usb_interface(struct usb_device *dev);
+/*@null@*/ struct usb_interface *get_ccid_usb_interface(struct usb_device *dev);
 #endif