3 ms·
I don't think it is decidable even when you have the compiler available to you - what happens if I decide to insert a bunch of assembly code in my gcc-compiled
by demallien 15y ago
I don't think it is decidable even when you have the compiler available to you - what happens if I decide to insert a bunch of assembly code in my gcc-compiled program using the gcc embedded assembly extensions? How do I decide that a particular sequence of generated op-codes is actually impossible from pure C code, and hence must have been assembly in the original program?
- peti 15y agoIn that case, the GCC extension is part of the input language (in a broader sense). Still, your example clearly shows the difficulties involved in practice.