TASTE bugtrack - Taste
View Issue Details
0000748Taste[All Projects] Ocarina - C code generationpublic2018-02-05 13:172021-05-21 09:41
raquel_gmv 
maxime 
normalminoralways
closedfixed 
TASTE VM Debian 9 i686 GNU/LinuxDebian4.9.18-1
0000748: Blackbox_device of only-read
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.
Create an Interface View with a blackbox device without PIs
No tags attached.
related to 0000080closed maxime Add buildsupport semantic check : a function must have at least one PI 
gz BlackBoxRI.tar.gz (92,987) 2018-02-05 13:17
https://taste.tuxfamily.org/mantis/file_download.php?file_id=267&type=bug
Issue History
2018-02-05 13:17raquel_gmvNew Issue
2018-02-05 13:17raquel_gmvStatusnew => assigned
2018-02-05 13:17raquel_gmvAssigned To => user2
2018-02-05 13:17raquel_gmvFile Added: BlackBoxRI.tar.gz
2018-02-05 13:33maximeRelationship addedrelated to 0000080
2018-02-05 13:43maximeNote Added: 0003219
2018-04-26 16:20maximeAssigned Touser2 => maxime
2021-05-21 09:41maximeNote Added: 0003769
2021-05-21 09:41maximeStatusassigned => closed
2021-05-21 09:41maximeResolutionopen => fixed

Notes
(0003219)
maxime   
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   
2021-05-21 09:41   
functions with no active caller (thread) are now properly reported as errors