boschresearch / blech

Blech is a language for developing reactive, real-time critical embedded software.
Apache License 2.0
72 stars 6 forks source link

Generated names for C functions are sometimes program names #49

Closed schorg closed 3 years ago

schorg commented 3 years ago

Strange behaviour for generated C names of functions Sometimes (not always) C names for exposed functions in a module are generated as a program name.

Just compile the modules api.blc and hidden.blc in Testphases/boxes and compare the results. In api.c the function hidden has the expected global name: blc__api_hidden. In hidden.c the function init gets a program name : blc_blech_hidden_init.

Link to a branch codegeneration for feature/modules