OSDN Git Service

Sanitize the behavior of -Wcoverage-mismatch.