%T Another Side of SPoC: occam\[rs]s ALTer Ego Dissected with PC\-lint
%A Øyvind Teig
%E Barry M. Cook
%B Proceedings of WoTUG\-22: Architectures, Languages and Techniques for Concurrent Systems
%X 26500 lines of Standard C (ANSI C) generated from occam
sources by the Southampton Portable occam Compiler (SPoC)
has been analysed by the static analysis tool PC\-lint. The
target machine is a TMS320C32 DSP where all (the supported)
C\\[rs]s primitive data types are mapped to 32 bit read and
writes. This architecture stretches "ANSI"
C quite a bit, but the "portable" occam
compiler promised to handle it. Even if we had experienced
no problems with the generated code and it compiled with all
error handling enabled, we had to insert some 15\-20
different global PC\-lint filters plus local filters via
in\-line C in the occam sources. This was in addition to the
base\-level filters we also used for hand\-written C. It
kept PC\-lint quiet, for individual C files as well as
"global wrap up". By discussing each
individual filter we arrive at the conclusion that none hid
errors in the generated C. The analysis revealed a few
points where the occam language definition could have been
made stricter. We would like to PC\-lint the generated
sources with fewer messages disabled \- changes to SPoC are
therefore suggested. Altogether SPoC seems to have passed
this test quite well. Even if we have no expertise to modify
the (open) SPoC sources, this report could be considered as
contributing to a prospective "Bazaar"
development model \- to bring forward an even more robust
compiler for a portable and perhaps prospering occam
If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.
Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org