diff options
Diffstat (limited to 'include/opencl')
| -rw-r--r-- | include/opencl/OpenCLZone.hxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/opencl/OpenCLZone.hxx b/include/opencl/OpenCLZone.hxx index d1c59dcd25d4..50d0f81c3191 100644 --- a/include/opencl/OpenCLZone.hxx +++ b/include/opencl/OpenCLZone.hxx @@ -32,6 +32,7 @@ public: ~OpenCLZone() { + // coverity[assert_side_effect] assert(gnEnterCount > 0); gnEnterCount = gnEnterCount - 1; if (!isInZone()) |