0000338: free() should permit 0 as valid argument - Frama-C Bug Tracking System

Frama-C Bug Tracking System

View Issue Details [ Jump to Notes ] [ Related Changesets ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0000338

Frama-C

Plug-in > jessie

public

2009-11-22 18:29

2014-02-12 16:56

Reporter

yegor

Assigned To

cmarche

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Frama-C Beryllium-20090902

Target Version

Fixed in Version

Frama-C Boron-20100401

Summary

0000338: free() should permit 0 as valid argument

Description

Jessie seems to want to ensure that free() gets valid pointer as an argument. But iso9899-c99 permits argument to be null, so it should be permitted by Jessie also.

Tags

No tags attached.

Relationships

Notes
(0000608) cmarche (developer) 2009-12-15 15:44	Fixed in next release Why 2.24

(0000785) signoles (manager) 2010-04-19 16:14	Fix in Why 2.24 (require Frama-C Boron-20100401).

Issue History
Date Modified	Username	Field	Change
2009-11-22 18:29	yegor	New Issue
2009-12-08 16:35	signoles	Status	new => assigned
2009-12-08 16:35	signoles	Assigned To	=> cmarche
2009-12-15 15:44	cmarche	Note Added: 0000608
2009-12-15 15:44	cmarche	Status	assigned => resolved
2009-12-15 15:44	cmarche	Resolution	open => fixed
2010-04-19 16:13	signoles	Status	resolved => closed
2010-04-19 16:13	signoles	Fixed in Version	=> Frama-C Boron
2010-04-19 16:14	signoles	Note Added: 0000785

Copyright © 2000 - 2020 MantisBT Team