It produces warnings in cases where we explicitly do *not* want to mark
a function as const even though it can be, because it is not
*logically* const.
This is something no automated tool will be able to detect so disable
the check to avoid spurious warnings.
Michael Zhao