diff options
| author | Tom Lane | 2022-04-11 17:22:37 +0000 |
|---|---|---|
| committer | Tom Lane | 2022-04-11 17:22:37 +0000 |
| commit | 3c702b3ed1519624d50e7a42283b8d481a579f77 (patch) | |
| tree | 6eef5958a5778a2e795d81399fbc6c5cce917de8 /src/common | |
| parent | 93fcf2d2095674834e1ddbc6803ec043e3216afa (diff) | |
Explicitly ignore guaranteed-true result from pgstat_lock_entry().
With nowait passed as false, pgstat_lock_entry() must return true
so there's no need to check its result. Coverity seems unconvinced
of this, so whack it upside the head with a (void) cast.
Diffstat (limited to 'src/common')
0 files changed, 0 insertions, 0 deletions