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

2021-02-27 11:25 CET

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

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.

Attached Files

Relationships

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.

Notes

Date Modified	Username	Field	Change
Issue History
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

Issue History