--- Quote Start ---
I hope I'm wrong, but have Altera really changed the policy just like that?
--- Quote End ---
--- Quote Start ---
Previously, Altera said it's ok to just specify "when others" even when all the states have been covered in the case statements. Now, they've changed it, saying that Quartus will optimize away such code, and one should use the safe setting instead.
--- Quote End ---
I haven't looked into how it works myself, but I do know that Altera had a change for safe state machines in Quartus integrated synthesis a few Quartus versions back. It's not a policy change--the tool changed.