$ 0 0 Interesting - I was sure that we used to make this an error. You can also add "-warn errors" to turn all warnings into errors. Or you can make this specific warning an error with "-diag-error 6717".
Interesting - I was sure that we used to make this an error. You can also add "-warn errors" to turn all warnings into errors. Or you can make this specific warning an error with "-diag-error 6717".