Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000080Taste[All Projects] Buildsupportpublic2011-01-11 16:252021-05-21 09:33
Reportermaxime 
Assigned Tomaxime 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Summary0000080:

Add buildsupport semantic check : a function must have at least one PI

Description

If a block has no PI an error should be triggered. This makes no sense, except maybe for blackbox devices, where the execution of a function may be triggered by the reception of an interrupt (but this has not been tested yet and should be avoided for the time being).

TagsNo tags attached.
Attached Files

- Relationships
related to 0000748closedmaxime 

Blackbox_device of only-read

 

-  Notes
(0000245)
maxime (administrator)
2011-01-12 15:34

Done in Cosmos revision.

(0003220)
maxime (administrator)
2018-02-05 13:47

Re-opening. In semantic_checks.c the following code excludes blackbox devices from the check:

 /*
  * A function must have at least ONE PI - otherwise it is dead code
  * (with the exception of blackbox devices which may be connected to
  * an interrupt in the future, and GUIs that may have only TCs)
  */
 if (blackbox_device != fv->language && gui != fv->language) {

But there is no further processing done for BB Devices, and the AADL model of the BB function ends up being incomplete - breaking the build.

(0003768)
maxime (administrator)
2021-05-21 09:33

Kazoo raises an excplicit error:

[ERROR] Function has no provided interfaces, and dead code is not allowed


- Issue History
Date Modified Username Field Change
2011-01-11 16:25 maxime New Issue
2011-01-11 16:25 maxime Status

new => assigned

2011-01-11 16:25 maxime Assigned To

=> maxime

2011-01-12 12:45 maxime Summary

Buildsupport additional semantic check to add => Add buildsupport semantic check : a function must have at least one PI

2011-01-12 15:34 maxime Note Added: 0000245
2011-01-12 15:35 maxime Status

assigned => resolved

2011-01-12 15:35 maxime Resolution

open => fixed

2011-01-12 15:35 maxime Status

resolved => closed

2018-02-05 13:33 maxime Relationship added

related to 0000748

2018-02-05 13:47 maxime Note Added: 0003220
2018-02-05 13:47 maxime Status

closed => assigned

2021-05-21 09:33 maxime Note Added: 0003768
2021-05-21 09:33 maxime Status

assigned => closed



Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker