Ces flags ne sont pas gérés par TIGCC (ni GCC4TI).