$ 0 0 In current releases, you can get exactly the behavior you want with -diag-error 6717 and -warn declarations. No need for yet another option.
In current releases, you can get exactly the behavior you want with -diag-error 6717 and -warn declarations. No need for yet another option.