Project

General

Profile

Actions
Copy link

Bug #5012

open

CIL adds const for the function parameter which is changed

Added by Vadim Mutilin over 10 years ago. Updated about 10 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
CIL
Start date:
06/27/2014
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

See parameter flags of the function sctp_make_datafrag_empty in net/sctp/sm_make_chunk.c, assignment:
flags |= SCTP_DATA_UNORDERED;

linux-3.12-rc1.tar.xz,43_1a,net/sctp/sctp.ko,ldv_main16_sequence_infinite_withcheck_stateful

current--X--net--X--defaultlinux-3.12-rc1.tar.xz--X--43_1a--X--cpachecker/linux-3.12-rc1.tar.xz/csd_deg_dscv/701/dscv_tempdir/dscv/ri/43_1a/net/sctp/sm_make_chunk.o.c.prepared:743:5: error: assignment of read-only parameter ‘flags’
Actions
Copy link
 #1

Updated by Evgeny Novikov over 10 years ago

  • Project changed from Linux Driver Verification to C Instrumentation Framework

I will consider this after new LDV Tools.

Actions
Copy link
 #2

Updated by Vadim Mutilin over 10 years ago

Sorry, it is a typo,
not CIF but CIL

Actions
Copy link
 #3

Updated by Evgeny Novikov over 10 years ago

  • Project changed from C Instrumentation Framework to Linux Driver Verification
  • Subject changed from CIF adds const for the function parameter which is changed to CIL adds const for the function parameter which is changed

Proper place for CIL related bugs is its bugzilla, since we will unlikely fix them by ourselves. So reopen this issue there and mark this here.

Actions
Copy link
 #4

Updated by Vadim Mutilin about 10 years ago

  • Category set to CIL
Actions
Copy link

Also available in: Atom PDF