0000506: line command option for doCollapseCallCast configuration - 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

0000506

Frama-C

Kernel

public

2010-06-11 14:06

2014-02-12 16:55

Reporter

sduprat

Assigned To

virgile

Priority

normal

Severity

feature

Reproducibility

N/A

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Frama-C Boron-20100401

Target Version

Frama-C Carbon-20101201-beta1

Fixed in Version

Frama-C Carbon-20101201-beta1

Summary

0000506: line command option for doCollapseCallCast configuration

Description

For specific syntactic verifications, we need to modify source-code with doCollapseCallCast set to true (cabs2cil.ml).
This is the case for example to check casts of called functions.
It would be nice to set this configuration throw a command-line option as it already exists for KeepComments (option -keep-comments).
We suggest a new kernel option -collapse-call-cast.

Tags

No tags attached.

Relationships

Notes
(0000927) virgile (developer) 2010-06-11 15:02	A few other parameters of the normalization are not settable directly through command-line. They could be treated as well

Issue History
Date Modified	Username	Field	Change
2010-06-11 14:06	sduprat	New Issue
2010-06-11 15:02	virgile	Note Added: 0000927
2010-06-11 15:02	virgile	Assigned To	=> virgile
2010-06-11 15:02	virgile	Status	new => acknowledged
2010-08-16 08:54	virgile	Target Version	=> Frama-C Carbon
2010-08-17 11:34	svn	Checkin
2010-08-17 11:34	svn	Status	acknowledged => resolved
2010-08-17 11:34	svn	Resolution	open => fixed
2010-12-10 15:45	signoles	Fixed in Version	=> Frama-C Carbon-20101201-beta1
2010-12-17 19:36	signoles	Status	resolved => closed

Copyright © 2000 - 2019 MantisBT Team