Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000748Taste[All Projects] Ocarina - C code generationpublic2018-02-05 13:172021-05-21 09:41
Reporterraquel_gmv 
Assigned Tomaxime 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformTASTE VM Debian 9 i686 GNU/LinuxOSDebianOS Version4.9.18-1
Summary0000748:

Blackbox_device of only-read

Description

It happens an error when a read-only blackbox device is deployed ( no PI's). The error occurs when the project is building. The message error is very encripted and it has been difficult to discover the reason:

[INFO] Invoking Ocarina
Rebuilding because of /home/taste/Raquel/BlackBoxRI/__dv_1_3.aadl
process.aadl:33:01: parsing Subcomponents, list is empty
process.aadl:67:20: parsing Package_Specification, Empty packages are not allowed
Cannot parse AADL specifications
Failed while executing:
ocarina -x main.aadl
From this directory:
/home/taste/Raquel/BlackBoxRI/binary.c/GlueAndBuild

Please find attached a toy example.

Steps To Reproduce

Create an Interface View with a blackbox device without PIs

TagsNo tags attached.
Attached Filesgz file icon BlackBoxRI.tar.gz [^] (92,987 bytes) 2018-02-05 13:17

- Relationships
related to 0000080closedmaxime 

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

 

-  Notes
(0003219)
maxime (administrator)
2018-02-05 13:43

Check ticket 0000080

That's indeed a bug in buildsupport. I checked in the code and found this:

 /*
  * 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)
  */

Unfortunately, the case of the Blackbox devices is not further addressed.
For the time being, please add a cyclic PI. Sorry for that.

(0003769)
maxime (administrator)
2021-05-21 09:41

functions with no active caller (thread) are now properly reported as errors


- Issue History
Date Modified Username Field Change
2018-02-05 13:17 raquel_gmv New Issue
2018-02-05 13:17 raquel_gmv Status

new => assigned

2018-02-05 13:17 raquel_gmv Assigned To

=> user2

2018-02-05 13:17 raquel_gmv File Added: BlackBoxRI.tar.gz
2018-02-05 13:33 maxime Relationship added

related to 0000080

2018-02-05 13:43 maxime Note Added: 0003219
2018-04-26 16:20 maxime Assigned To

user2 => maxime

2021-05-21 09:41 maxime Note Added: 0003769
2021-05-21 09:41 maxime Status

assigned => closed

2021-05-21 09:41 maxime Resolution

open => fixed



Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker