CodeSonar : pvm3.4.6 : Cast Alters Value

pvm3.4.6 : pvm3.4.6 analysis 2 : Cast Alters Value at pmsg.c:1301

Categories:	LANG.CAST.VALUE CWE:192
Warning ID:	211.28843
Procedure:	enc_xdr_step
Trace:	view
Modified:	Thu Nov 26 11:28:13 2009 show details hide details

Priority:	None
State:	None
Finding:	None
Owner:	None
	edit properties

Legend	[ X ]
Warning Location Contributes Parse Error Other Warning Two or More Loop Iterations On Execution Path Comment Macro Preprocessor Include Keyword Preprocessed Away

Legend
Warning Location	Contributes	Parse Error
Other Warning	Two or More Loop Iterations	On Execution Path
Comment	Macro	Preprocessor
Include	Keyword	Preprocessed Away

Source | Language: C

Hide Legend

Problem	Line	Source

			/kat0/fletcher/SATE/2010/pvm3/src/pmsg.c

			Enter enc_xdr_step

	1290		enc_xdr_step(mp)
	1291		struct pmsg *mp;
	1292		{
	1293		struct frag *fp;
	1294		int cc;
	1295

true

1296

if (cc = pmsg_extend(mp )) /* Redundant Condition (ID: 209.28841) */

	1297		return cc; /* Unreachable Data Flow (ID: 210.28842) */
	1298		fp = mp->m_frag->fr_rlink;
	1299		xdrmem_create(&mp->m_xdr,
	1300		fp->fr_dat,
	1301		(unsigned)(fp->fr_max - (fp->fr_dat - fp->fr_buf)), /* Cast Alters Value */
	1302		XDR_ENCODE);

Preconditions

numfrags != 0
pvmfrgsiz = 0

Postconditions

freefrags.fr_link->fr_link->fr_rlink' = freefrags.fr_link->fr_rlink
freefrags.fr_link->fr_max' = 0
freefrags.fr_link->fr_len' = 0
freefrags.fr_link->fr_u.ref' = 1
freefrags.fr_link->fr_u.dab' = 1
freefrags.fr_link->fr_u.spr' = 0
freefrags.fr_link->fr_rlink' = mp->m_frag->fr_rlink
freefrags.fr_link->fr_rip' = 0
freefrags.fr_link->fr_buf' = 0
freefrags.fr_link->fr_dat' = 48
freefrags.fr_link->fr_rlink->fr_link' = freefrags.fr_link->fr_link
freefrags.fr_link->fr_link' = mp->m_frag
cc' = 0
fp' = freefrags.fr_link
numfrags' = numfrags - 1

Change Warning 211.28843 : Cast Alters Value

Priority:
State:
Finding:
Owner:
Note: