> the current implementation is not compatible with signal handlers, or anything similar, asynchronously using the same stack.
> For example, when goto is translated, if there are VLAs in scope then gen_vla_sp_restore(vla_sp_root_loc) is called, which generates code to move the SP back to where it was at the start of the function body. At the target location, where the label is, if any VLAs are in scope at that location code generated by gen_vla_sp_restore(vla_sp_loc) advances the SP again. If a signal were to arrive between the two SP moves then the signal handler might overwrite live data on the stack. It is hard to combine gen_vla_sp_restore(vla_sp_root_loc) and gen_vla_sp_restore(vla_sp_loc) or protect this somehow (disabling/restoring signals/interrupts) ? _______________________________________________ Tinycc-devel mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/tinycc-devel
