0001141: incorrect UINT8_MAX (and others) - Frama-C Bug Tracking System

Frama-C Bug Tracking System

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0001141

Frama-C

Kernel

public

2012-04-04 11:10

2012-09-19 17:16

Reporter

Anne

Assigned To

monate

Priority

normal

Severity

minor

Reproducibility

have not tried

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Frama-C Nitrogen-20111001

Target Version

Fixed in Version

Frama-C Oxygen-20120901

Summary

0001141: incorrect UINT8_MAX (and others)

Description

[warning: it is a Library problem, but in put in in Kernel Category since there is no Library Category]
with

#include <stdint.h>

UINT8_MAX expend to ((8)(-1)) which lead to:
[kernel] failure: Unexpected type of the called function 8: int

it comes from:

libc/__fc_machdep.h:#define __umax(typ) ((typ)(-1))
libc/stdint.h:#define UINT8_MAX __umax(8)

Tags

No tags attached.

Relationships

Notes
(0002826) monate (reporter) 2012-04-04 16:17	Nice catch: someone at some point "fixed" the three macros, but did not propagate his change to the callers of the macros... It will be fixed in the next version.

(0002827) Anne (reporter) 2012-04-04 16:18	Thanks.

Issue History
Date Modified	Username	Field	Change
2012-04-04 11:10	Anne	New Issue
2012-04-04 16:17	monate	Note Added: 0002826
2012-04-04 16:17	monate	Assigned To	=> monate
2012-04-04 16:17	monate	Status	new => acknowledged
2012-04-04 16:18	Anne	Note Added: 0002827
2012-04-06 03:45	monate	Status	acknowledged => resolved
2012-04-06 03:45	monate	Fixed in Version	=> Frama-C Oxygen-2012xx01
2012-04-06 03:45	monate	Resolution	open => fixed
2012-09-19 17:16	signoles	Status	resolved => closed

Copyright © 2000 - 2019 MantisBT Team