[From nobody Mon Jun  9 09:06:40 2008
X-MimeOLE: Produced By Microsoft Exchange V6.5
Content-class: urn:content-classes:message
MIME-Version: 1.0
Content-Type: multipart/mixed; boundary="----_=_NextPart_001_01C8CA48.08407384"
Subject: RE: splint-discuss Digest, Vol 47, Issue 1
Date: Mon, 9 Jun 2008 21:15:10 +0530
Message-ID: <0A8CFEC45B7F4C419F7543867C474423CE9331@mailserver.nechclst.in>
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: <0A8CFEC45B7F4C419F7543867C474423CE9331@mailserver.nechclst.in>
Thread-Topic: splint-discuss Digest, Vol 47, Issue 1
Thread-Index: AcjKO9X9etadqTZ8S6G6H4Y7InQ7jAAC/Z07
References: <mailman.93.1213020827.630.splint-discuss@mail.cs.virginia.edu>
From: "Deepak Bhatia" <deepak.bhatia@nechclst.in>
To: <splint-discuss@cs.virginia.edu>

This is a multi-part message in MIME format.

------_=_NextPart_001_01C8CA48.08407384
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

Try all combinations given on page 75 to show all the errors
=20
Message Format

These flags control how messages are printed. They may be set at the =
command line, in options

files, or locally in syntactic comments. The line-len and limit flags =
may be preceded by + or - with

the same meaning; for the other flags, + turns on the describe printing =
and - turns it off. The box

to the left of each flag gives its default value.

show-column

Show column number where error is found.

show-func

Show name of function (or macro) definition containing error. The =
function name is printed

once before the first message detected in that function.

show-all-conjs

Show all possible alternate types (see Section 4.4).

paren-file-format

Use <file>(<line>) format in messages. (Default is + for Win32 for =
compatibility with

Microsoft VisualStudio.)

hints

Provide hints describing an error and how a message may be suppressed =
for the first error

reported in each error class.

force-hints

Provide hints for all errors reported, even if the hint has already been =
displayed for the same

error class.

line-len <number>

Set length of maximum message line to <number> characters. Splint will =
split messages

longer than <number> characters long into multiple lines.

indentspaces <number>

Set number of spaces to indent sub-messages.

locindentspaces <number>

Set number of spaces to indent sub-messages that start with file =
locations.

showdeephistory

Show all available information about storage mentioned in warnings.

showloadloc

Show location information for load files.

csv

Produce comma-separated values (CSV) warnings output file.

csvoverwrite

Overwrite exisiting CVS output file Show location information for load =
files.

htmlfileformat

Show file locations as links.

streamoverwrite

Warn and exit if a stream output file would overwrite an existing file.


------_=_NextPart_001_01C8CA48.08407384
Content-Type: application/ms-tnef;
	name="winmail.dat"
Content-Transfer-Encoding: base64

eJ8+IjMPAQaQCAAEAAAAAAABAAEAAQeQBgAIAAAA5AQAAAAAAADoAAEIgAcAGAAAAElQTS5NaWNy
b3NvZnQgTWFpbC5Ob3RlADEIAQ2ABAACAAAAAgACAAEEgAEAKwAAAFJFOiBzcGxpbnQtZGlzY3Vz
cyBEaWdlc3QsIFZvbCA0NywgSXNzdWUgMQDkDQEFgAMADgAAANgHBgAJABUADwAKAAEAHQEBIIAD
AA4AAADYBwYACQAVABAAMgABAEYBAQmAAQAhAAAAQTc5RENDQkFDMzhFODQ0MzgyRjNBNzNDMEE0
NjgwM0MATgcBA5AGABAXAAA4AAAAAwA2AAAAAABAADkAQK91zEfKyAEeAD0AAQAAAAUAAABSRTog
AAAAAAIBRwABAAAAPAAAAGM9VVM7YT0gO3A9TmVjaGNsIE9yZ2FuaXphdDtsPU1BSUxTRVJWRVIt
MDgwNjA5MTU0NjUwWi0xMzMwAB4ASQABAAAAJwAAAHNwbGludC1kaXNjdXNzIERpZ2VzdCwgVm9s
IDQ3LCBJc3N1ZSAxAABAAE4AgJ86CDvKyAEeAFoAAQAAACcAAABzcGxpbnQtZGlzY3Vzcy1ib3Vu
Y2VzQGNzLnZpcmdpbmlhLmVkdQAAAgFbAAEAAABrAAAAAAAAAIErH6S+oxAZnW4A3QEPVAIAAAAA
c3BsaW50LWRpc2N1c3MtYm91bmNlc0Bjcy52aXJnaW5pYS5lZHUAU01UUABzcGxpbnQtZGlzY3Vz
cy1ib3VuY2VzQGNzLnZpcmdpbmlhLmVkdQAAAgFcAAEAAAAsAAAAU01UUDpTUExJTlQtRElTQ1VT
Uy1CT1VOQ0VTQENTLlZJUkdJTklBLkVEVQAeAF0AAQAAACcAAABzcGxpbnQtZGlzY3Vzcy1yZXF1
ZXN0QGNzLnZpcmdpbmlhLmVkdQAAAgFeAAEAAABrAAAAAAAAAIErH6S+oxAZnW4A3QEPVAIAAAAA
c3BsaW50LWRpc2N1c3MtcmVxdWVzdEBjcy52aXJnaW5pYS5lZHUAU01UUABzcGxpbnQtZGlzY3Vz
cy1yZXF1ZXN0QGNzLnZpcmdpbmlhLmVkdQAAAgFfAAEAAAAsAAAAU01UUDpTUExJTlQtRElTQ1VT
Uy1SRVFVRVNUQENTLlZJUkdJTklBLkVEVQAeAGYAAQAAAAUAAABTTVRQAAAAAB4AZwABAAAAJwAA
AHNwbGludC1kaXNjdXNzLWJvdW5jZXNAY3MudmlyZ2luaWEuZWR1AAAeAGgAAQAAAAUAAABTTVRQ
AAAAAB4AaQABAAAAJwAAAHNwbGludC1kaXNjdXNzLXJlcXVlc3RAY3MudmlyZ2luaWEuZWR1AAAe
AHAAAQAAACcAAABzcGxpbnQtZGlzY3VzcyBEaWdlc3QsIFZvbCA0NywgSXNzdWUgMQAAAgFxAAEA
AAAbAAAAAcjKO9X9etadqTZ8S6G6H4Y7InQ7jAAC/Z07AB4AdAABAAAAJAAAAHNwbGludC1kaXNj
dXNzQG1haWwuY3MudmlyZ2luaWEuZWR1AB4AGgwBAAAADgAAAERlZXBhayBCaGF0aWEAAAAeAB0O
AQAAACcAAABzcGxpbnQtZGlzY3VzcyBEaWdlc3QsIFZvbCA0NywgSXNzdWUgMQAAAgEJEAEAAADq
DgAA5g4AAK9IAABMWkZ19ihrhAMACgByY3BnMTI1gjIDQ2h0bWwxAzA/AQMB9wqAAqQD4wIAY2jB
CsBzZXQwIAcTAoD/EAMAUARWCFUHshHVDlEDAd0Q1zIGAAbDEdUzBEYQ2bkS72Y0A8YHbRHVNRhX
7GFoA3ER1TYDxhGFEePbCO8J9zsdbw4wNRHSDGDOYwBQCwkBZDM2EWALpeQ0IBACKlwOsgGQDhAA
OSA8SFRNTD7fEeMihxTwCqMjrDMiICNAeEVBRCOdDvEkvw4QNkEO8DxNRVRBB7BBASjgPSJHRU5F
UuBBVE9SIhcRAjAJ8Jp0KXBNDeADYHNvAYAEIEQjUiBFZGl0zQuAZyozA2BsIiZfJ28JIvE3NyMw
VElUTJpFI540DvAs7Tg1IzD+Ly9vLZ8ipTCxMgAmHyRvBSK0NRFgPEJPRFlHNU0hkTZvZzk2IzBE
3ElWNUAikwAhIAAAOuUzEWAiaTY0Os870lRyfHkgB0ADIAWgBtALgGFHLAACIAQgZ2l2CfAghQIg
IAqwZ2UgNzHgcHRvIHMa4AfgPnJ0/mhAQDPsOQUEkANgESAiab8BwDznCqI85wpxIkwwJeH+LzqM
ROgiPDj/Og87HzwvC0teIks4IiAmbmJzxnACgE03XCdhAUBLz/9Dz0TfRe9G/04fSR9KL01f30xP
WU9ObzewWQtiAzBb/wkixDQ4IzBGT05U9CBmANBlKXAHbSogAJC6emDQNFkLGDADsjJgIK9en0IM
UVwiSzZgIVA+YWBpZ249bAFxWQlcVnEDIVnXTQeQc0AiRvsFsADAdFU/WjFq72v5Ur6/T+gKsW7I
Vl0BwDHxUC+//WAhL12Rcc8yAGBSNUBab+9bf18/YE9hXzNifyHzdj/fZO9l/2cPaB9pLFRBYBEw
u3gwC2BnBCAFoCxzIEDS3weBajIEIArAQEBwBRAqYbxkLoGSPlAAwD5QYkBA/xExPmAFQHwfV4JB
Uj6xA4GEZCB/gG5lLCALgP8/0AUwPzJsL20/bk9vX3Bv/3F/Vz91FX8/da9sCXrPa+t9aSxmAxAH
kIgABbEdAGPnPnE+UIghc3kCMADQLAC2Y4czKoFzhGMiPTVYof90RYjPdq93twqjeEMaxGIEvjJ6
HDHgC9N7aYfCLX/Q/wOgmQ+aH5svnD94T3lfkx//WciHgoW/j3+iH6MvpD+lR/ed757/oAttK/Ch
P6vvrP//rg+lf2GlCqOm/6gPlfOCE/+E1YPwBZAJgAmAhQA+ULKvv7O/tM+1368vsD+xTiu8j/+9
n76vv7+dObc/uJ+5r1oT/wWxxB/FL8Y/x0/A38HvsU7+Lcyfza/Ov8/PyE/JX8pv/3seA/BBUNW/
id+K74v/jQ//jh+PL5A/kU/df9svlH97ab9BUmowB4CDEQBwLBE72KD7BbFBUm9BUZ1xghKIANQv
/9U/1k/XX9DquFjR/8L/7J//7a/uv+/P2K/Zv+cP6YoIcP8GMT/hQVIBAATyhRGpn+Ny/4PzLBKp
X/VP9l/3b9Cv8g//8x/T3wDPAd8C79gf+S/6P2/7T/xXsnErMGaYpBVAeP8JH93f3u/f/+EP4h/j
L+Q//+VPEe8Oj+h/6YpAoEFSf9LlEGEg6tBjaIHzP3MQIpeDkP1QDBB1ItAgdhlQ+HVlLhE/Ek8T
XxRvFX//Fo9z73T/dg8Kn50vBO8F/38qr3zPfd9+73//WchAwi3zPrAhcG1uIb8izyPfJO//Jf8n
DygfKS8qPytP+J8ND38bb3tfMD8xTzJfM29pDlNzguI1xCBuNfD9sAvwd9/r8Wpg7ACCoAvwaYOQ
61D+dYeQIa83Lzg/OU86Xztv/zx/PY8+nz+vLE8tXy5vVa9fRV9Gb0d/SI80zmZMgGP/TM9N307v
T/9RD1IfUy9UP/9VT1ZfQM9B30LvQ/9bT1xf711vXn9JT4LibuqCH2Fg0jmIciAolqG4AP2Abynf
IMKH0LJwdlKCYmF3cf+R/0vTmK+qSHYHdYNMMYP1YR//Yi9jP2RPZV9mbxefGK8Zv/98325PHO/L
ymDwEOFzcMxw5xDg/RKWMHJzH0BsUepwfmf9Mnvwl9C8MZdR/RBh/7KNei5Mv30vfj9/T4BfgW//
Z29of2mPap8EH1i/Wc9vj79wn3Gvcr+ILzUZn6BsNbH4bmpzjm+Pf5CPkZ+Sr/+Tv5TPld+W75f/
a79sz4Zf/27vnJ+dr56/n890P3VCoiH9u8BvixD9oLUAtJF78BAAE4xQijF5cK4BKHNlPRDgU4uh
dlKxT4LSNC78NCmOX6O/pM+l36bvp///qQ+qH6svrD+Y/5oPmx+xLz+yP7NPtF+1b4fEC9Flbr1g
wGnNAGDATACukHS7b/+8f72Pvp+/r8C/wc/C38Pv/8T/rV+ub69/sI/Jn8qvy7/7zM+13lW5AAd/
CI8Jn9mPr8Yfxy/IP4HLOIPwJtYQujviiDzQiM8y669n7Mp+PusP5L/lz/DPVu/awUG/e8Dh0Ok/
3RLx8AZuKPEP//If8y/0P+iP6Z/qr+u/7M/7h8Th4G7ub+9//5/5T/pf//tv9M/13/bv/2l3IAV/
Bo//B58Ir9qv27/cz+2Zz5OL8pfef4LSivVzePAoRCDlpUwxKxUyIFeMADPVENsYsnfwbQnAuXBi
z0B3kPZ5S2B3kGgOz9D/0g/TH//UL9U/go+Dn4SvG28T74ffaf9pTWl28XN10IxgVoVMMHUi0FN0
dWR2UPwuKRq/G88c3x3vHv8gD//WT9df2G8QT/zfCu/+/xXf399/4I8inybPJmNoe9Gir/8qryu/
LM8t3y7vL/8xDzIf/zMvEU8SXyTf3a83zzjfOe/LOv88D1B3AHZpi3A9BP2LYXN28BnxeHFJUHiU
UwH/i+C244rnSUAaUIngS+8hU/0o4HB7sIsBi9EYsopYeKP/PW8+fz+PQJ9Br0K/IR8iL/8jP1kf
Sp8mb0tJiiC3YFnwFYvUZUgwaFM1Y2xh/4sQu19Zb1p/W49cn12vQ7//RM9F30bvND81TzZfS99M
799N/08PZG8U54mwLT0faG//aX9qj3UvbK9tv27Pb99w7/9Hv0jPSd9jX3WPdp93r3i/f3nPUU8Y
o7ciWBOHIGXWLP1YAHbPABWgfvBXcntyUfCfZ2CKT18DjbDO8GFkVOLTknEpUHNwZ1B5VwkXYP+H
AHvPfN99737/gA+BH17P/1/fYO+X34j/ZB+JqWbvl3//mI+Zn5qvm7+Bb4J/g4+pL/+Fr3Kfc690
v5Pvi6+Mv59fe6OPAqItz1AVzQDv7Ylu/HVtVQCo0QMPBB+i3KXv/6b/qA+yr6ovqz+sT61fwu//
he+G/p2zh/+h38fvtA+1H+e2L7c/vlZTZSiguRG9UPdmwCiAVLF4hvC78FQ3AqL9V2BvDS8OPw9P
yH+wC8sI/7Evsj+5b7p/u4+8n72v2FD/1Z/Wr9e/2M/Jj4ePy//cqf9msMJA5zBmIFfQF7DNv53S
/lOV8JMiGnCREZXhGjBUNv97v7/fwO/B/8MPxB+df56P35+f70/pj6LPuAtvUuBTQP9XYVMR4u/j
/+UP5h+wH9tP/9xf3W/ef9+P4J/hr+K+zob//N/97/7/AA/nL+g/+P/qX7/rYfwDFaHVcdRgxQBp
lfD/VR8KtLjCpT/vn/Cv8b/yz//z38Ufxi/HPw4PAN8B7wL//82Pzp/Pr9C/0c/6NdUwUmD/UiEa
EHtAk40FDwYfKv8IP/++by/fGG8ZfyQfG58crx2//x7PH98Oz8ofyy8RrzlfJT//Jk8nXyhv0p0t
hNPiKoXVceMqJCIgdWIt7iYWrzF//zKPM580rzW/Ns833zjvOf//OwEKsyF/Io8jnz9vQH9Bj/dC
n0Ov++NjKi8rPyxPLV//Lm8vf0e/SM9J30rvS/9ND/9OH08vUD9RT1JZO4887z3//2rvVp9Xr1i/
Wc9EX0VvRn9/d4H8kEax9OBjcO1h08Fm3+2AFO8V9VtweTBp/CBHj/9i32PvZP9mD2cfaC9pP2pP
/2tfIT9Tj1SfcJ9xr3K/c8/rdN/6NXOHgHd38JHAkxD7eWCWcHl8X31vfn9/j4Cf/4Gvgr+Dz4Tf
he87H23vbv//cA+Kj4ufjK+Nv3Vfj9GikZEpYGF2Ye2AYWJ6MT3VMGaQgJyQe/KikGJvfnV5QpCA
1OKb8FvQfAFlrmR3wZ8/CsN3lCBu1TD+Z3w/ka+Sv5PPlN+V75b//5gPmR+aL4bfh++I/58foC+f
oT+iT6Nfj1n8EGFkW2H/ql+rb6x/rY+un6+vsL+xz/+y37Pvm1+cb51/no+4j7mf/7qvu7+j36Ti
e7al+6Yh0tH/viB6A6o/v2/Af8GPwp/Dr//Ev8XPxt/H71IvtZ+2r93/H82fzq/Pv9DPKWpjc3b/
1S/WP9dP2F/Zb9p/24/cn//dr96/yR/KL8s/zE/jr+S/B+XP5t8pLlByb2R1z/Pw6ND04PTwLXOQ
IBNBJxOAqCClcGx19GEoQ3hTVil5sKnVdvCm8HD/pvH3rwrSehLVH+of6y/sP//tT+5f72/wf/GP
8p+07+Eff+Iv94/4n/mv+r/7z+iHb9J2XzB3cnnQZQIvAz//BE8FXwZvB38IjwmfCq8Lv//zv/TP
9d/27xBfEW8SfxOPxVpuTxXWIGV4kFB50OGqASBDVlMABnoT0p//06sk73t01J8W3xfvGP8kT/8b
HxwvHT8eTzSfDD8NTw5f/zlPJV8mbyd/KI9ajDNiehL/piQwnzGvMr8zzzTfNe82//84DzkfOi8g
/yIPIx8kLz7P/z/fQO9B/9GfpOJ6E3u3VsDzUEBW4G5rMH9F30bvR///SQ9KH0svTD9NT05fOx88
L389P1NPVF9Vb1Z/V4+PVnTwcmVhbRXPW19cb11//2gfX59gr2G/Ys9zP07/UA9/UR9SL3hPaY9q
n2ukdLBXu6nRbABuMBArEacAaXJg12YxblMr63em4GwwEG6n/4FxKwMrY33PAZ9vv3DPcd/ffS9z
/3UPdhN4jDB8oHXg+ERJVnvJh4l4i2fxhlOFeIs1dcJCT0RZjH4Lkc91cjeMMUhUTUwVjH0zhjV9
l+AAAB4ANRABAAAAQAAAADwwQThDRkVDNDVCN0Y0QzQxOUY3NTQzODY3QzQ3NDQyM0NFOTMzMUBt
YWlsc2VydmVyLm5lY2hjbHN0LmluPgAeADkQAQAAAEAAAAA8bWFpbG1hbi45My4xMjEzMDIwODI3
LjYzMC5zcGxpbnQtZGlzY3Vzc0BtYWlsLmNzLnZpcmdpbmlhLmVkdT4AHgBHEAEAAAAPAAAAbWVz
c2FnZS9yZmM4MjIAAAsA8hABAAAAHwDzEAEAAABiAAAAUgBFACUAMwBBACAAcwBwAGwAaQBuAHQA
LQBkAGkAcwBjAHUAcwBzACAARABpAGcAZQBzAHQALAAgAFYAbwBsACAANAA3ACwAIABJAHMAcwB1
AGUAIAAxAC4ARQBNAEwAAAAAAAsA9hAAAAAAQAAHMONMc8xHysgBQAAIMA8kUQhIysgBAwDeP69v
AAADAPE/CQQAAB4A+D8BAAAADgAAAERlZXBhayBCaGF0aWEAAAACAfk/AQAAAHAAAAAAAAAA3KdA
yMBCEBq0uQgAKy/hggEAAAAAAAAAL089TkVDSENMIE9SR0FOSVpBVElPTi9PVT1GSVJTVCBBRE1J
TklTVFJBVElWRSBHUk9VUC9DTj1SRUNJUElFTlRTL0NOPURFRVBBSy5CSEFUSUEAHgD6PwEAAAAV
AAAAU3lzdGVtIEFkbWluaXN0cmF0b3IAAAAAAgH7PwEAAAAeAAAAAAAAANynQMjAQhAatLkIACsv
4YIBAAAAAAAAAC4AAAADAP0/5AQAAAMAGUAAAAAAAwAaQAAAAAADAB1AAAAAAAMAHkAAAAAAHgAw
QAEAAAAOAAAAREVFUEFLLkJIQVRJQQAAAB4AMUABAAAADgAAAERFRVBBSy5CSEFUSUEAAAAeADJA
AQAAACcAAABzcGxpbnQtZGlzY3Vzcy1ib3VuY2VzQGNzLnZpcmdpbmlhLmVkdQAAHgAzQAEAAAAn
AAAAc3BsaW50LWRpc2N1c3MtcmVxdWVzdEBjcy52aXJnaW5pYS5lZHUAAB4AOEABAAAADgAAAERF
RVBBSy5CSEFUSUEAAAAeADlAAQAAAAIAAAAuAAAAAwB2QP////8LACkAAAAAAAsAIwAAAAAAAwAG
EIqt5mIDAAcQ7wUAAAMAEBAAAAAAAwAREAEAAAAeAAgQAQAAAGUAAABUUllBTExDT01CSU5BVElP
TlNHSVZFTk9OUEFHRTc1VE9TSE9XQUxMVEhFRVJST1JTTUVTU0FHRUZPUk1BVFRIRVNFRkxBR1ND
T05UUk9MSE9XTUVTU0FHRVNBUkVQUklOVEVEAAAAAAIBfwABAAAAQAAAADwwQThDRkVDNDVCN0Y0
QzQxOUY3NTQzODY3QzQ3NDQyM0NFOTMzMUBtYWlsc2VydmVyLm5lY2hjbHN0LmluPgDJHw==

------_=_NextPart_001_01C8CA48.08407384--
]