On 07/14/2017 01:40 AM, Jakub Jelinek wrote: > On Thu, Jul 13, 2017 at 04:32:02PM -0500, Segher Boessenkool wrote: >> I don't think it should be inside -fstack-check at all. Sure, the >> mechanisms implementing it overlap a bit (more on some targets, less >> on others), but how will a user ask for clash protection _and_ for >> stack checking? > > Are we willing to implement that? What would we do in that case? I'd change every existing target that has a backend stack probing implementatoin to use a moving-sp style. ie, allocate page, probe page, allocate page, probe page. We'd then want to use the -fstack-check routines rather than the new routines.
But in the end I don't think using the options together makes all that much sense. We really should look at -fstack-check as Ada specific, even though its implementation is in the target files and middle end. Jeff