0000552: Checking number of arguments passed to C functions

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000552

Frama-C

Kernel

public

2010-08-02 10:47

2010-12-17 19:35

Reporter

pascal

Assigned To

virgile

Priority

normal

Severity

feature

Reproducibility

always

Status

closed

Resolution

fixed

Product Version

Frama-C Boron-20100401

Target Version

Fixed in Version

Frama-C Carbon-20101201-beta1

Summary

0000552: Checking number of arguments passed to C functions

Description

There currently isn't much checking of function arguments in the front-end. The following program is accepted, although it passes the wrong number of arguments for both calls to retint:

int retint(int x )
{
  int __retres ;
  __retres = 42 + x;
  return (__retres);
}

int main(int c )
{
  int x ;
  int tmp ;
  x = retint();
  tmp = retint(c,c);
  return (tmp);
}

Arguments for not implementing this feature: there are perfectly good compilers to check for this, and not having rigid rules in place may even help with older code containing variadic functions. I am not sure when the current convention for declaring variadic functions became standardized, and it may not have been from the beginning.

Tags

No tags attached.

Attached Files

Relationships

Relationships

Notes

~0001079

virgile (developer)

2010-08-23 10:25

Regarding variadic functions, according to wikipedia, C89 already had this feature. Old-style definition of variadic functions (as authorized by POSIX) are quite similar.

Notes

Date Modified	Username	Field	Change
Issue History
2010-08-02 10:47	pascal	New Issue
2010-08-23 10:18	virgile	Status	new => assigned
2010-08-23 10:18	virgile	Assigned To	=> virgile
2010-08-23 10:25	virgile	Note Added: 0001079
2010-08-27 11:39	svn
2010-08-27 11:39	svn	Status	assigned => resolved
2010-08-27 11:39	svn	Resolution	open => fixed
2010-12-10 15:45	signoles	Fixed in Version	=> Frama-C Carbon-20101201-beta1
2010-12-17 19:35	signoles	Status	resolved => closed

Issue History