`copilot-c99`: Can C99 generator declare stream functions as static? about copilot HOT 10 OPEN

That's a good point. I see no reason to make them public and I agree that it would be better to make functions static.

from copilot.

@fdedden Did you have a chance to look into this? Do you think this can be done without negative impact?

from copilot.

Dear Simon, thank you for the suggestion. Yes, it is indeed better to have these functions defined as static. It forces the so called 'storage duration' to be as long as the execution of the program (which is what we want here). As you mentioned, adding static to global functions keeps the function private to the execution unit (similar to a file in this case) as well.

The addition of the keyword has already been implemented in January for the 3.18 release of Copilot (see 6779d03) to comply with the MISRA C coding standard. It should suffice for you to upgrade to at least the 3.18 release.

Please let me know if you have any more questions.

Reference to the C99 standard, section 6.2.2 and 6.2.4: http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf.

from copilot.

The addition of the keyword has already been implemented in January for the 3.18

I think I only added it for variables, not functions, didn't I?

from copilot.

The addition of the keyword has already been implemented in January for the 3.18

I think I only added it for variables, not functions, didn't I?

No? The commit I mentioned (6779d03) adds static to the generator and accessor functions, and omits the step function (which is what we want).

The variables have been defined static since I wrote the first version of the C99 backend.

Let me also ping @simondlevy, since I forgot to do that in my initial reply.

from copilot.

You're right. I completely forgot! 😮

from copilot.

@simondlevy have you been able to try with the latest version?

from copilot.

I bought a new computer recently and installed Copilot on it following the instructions as usual. When I tried the heater example, the compiled C header still did make the declarations static.

from copilot.

But were functions static or not? That was the issue, wasn't it?

from copilot.