Clearer error message for unsupported flags: print names of flags (if possible) #3642
Labels
A-diagnostics
errors and warnings emitted by miri
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
The error message will be clearer if we can print the exact unsupported flag name in
throw_unsup_format!
message. This is mentioned in #3609 (comment)_.For
socketpair
, onlySOCK_DGRAM
is not supported. But for other larger functions that involve a lot of flags, it will be useful if there is a helper function that keeps track of unsupported flags that we know and helps to throw error with exact name of the flag.The text was updated successfully, but these errors were encountered: