0001439: Few fixes in libc/sys/socket.h - Frama-C Bug Tracking System

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0001439

Frama-C

Kernel

public

2013-06-03 11:43

2014-03-13 15:57

Reporter

Anne

Assigned To

Matthieu Lemerre

Priority

normal

Severity

trivial

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

Frama-C Fluorine-20130501

Target Version

Fixed in Version

Frama-C Neon-20140301

Summary

0001439: Few fixes in libc/sys/socket.h

Description

In libc/sys/socket.h, some "../" are missing for some includes :

< #include "__fc_machdep.h"
> #include "../__fc_machdep.h"

< #include "__fc_define_ssize_t.h"
> #include "../__fc_define_ssize_t.h"

< #include "__fc_define_iovec.h"
> #include "../__fc_define_iovec.h"

Tags

No tags attached.

Attached Files

Relationships

Notes
There are no notes attached to this issue.

Issue History
Date Modified	Username	Field	Change
2013-06-03 11:43	Anne	New Issue
2013-06-03 12:46	signoles	Status	new => assigned
2013-06-03 12:46	signoles	Assigned To	=> Matthieu Lemerre
2013-06-03 14:29	Matthieu Lemerre	Status	assigned => resolved
2013-06-03 14:29	Matthieu Lemerre	Resolution	open => fixed
2014-03-13 15:56	signoles	Fixed in Version	=> Frama-C Neon-20140301
2014-03-13 15:57	signoles	Status	resolved => closed