diff options
| author |  Abseil Team <absl-team@google.com> | 2023-04-24 07:41:57 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-worker@google.com> | 2023-04-24 07:43:07 -0700 |
| commit | 43e07a0ee0ee1111186a69bf32f65a0a2a24e387 (patch) | |
| tree | d459073caf31751ac275d6d7bc42676721bd8fb6 /absl/functional | |
| parent | 70af93e91542b236dd3acf680cf43334e617dadc (diff) | |
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
Diffstat (limited to 'absl/functional')
0 files changed, 0 insertions, 0 deletions