| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] |
| ID | 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 | |
| Platform | | OS | | OS Version | |
| 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