tree d459073caf31751ac275d6d7bc42676721bd8fb6
parent 70af93e91542b236dd3acf680cf43334e617dadc
author Abseil Team <absl-team@google.com> 1682347317 -0700
committer Copybara-Service <copybara-worker@google.com> 1682347387 -0700

Fix handling of `CHECK` macros in static analysis tools.

Currently static analysis tools built using the Clang Dataflow Analysis framework can't prove that code under `switch (0) case 0:` is executed on all paths. The Clang Dataflow Analysis framework should ultimately be improved to handle these cases. In the meantime, to enable the use of such tools in their current state, we add a `default` case back to the `switch` statement in `ABSL_LOG_INTERNAL_STATELESS_CONDITION` to help them understand that the code is executed on all paths.

PiperOrigin-RevId: 526638852
Change-Id: I49490dd477ba777aae2530697b75b583242aebc5