From f0f30bb8f1729cf69b220aac0f95dd5bd3c883c9 Mon Sep 17 00:00:00 2001
From: Hugues Delorme <delorme.hugues@fougsys.fr>
Date: Mon, 13 Jul 2015 10:56:48 +0200
Subject: [PATCH] gmio_stl: silent false-positive coverity defect

---
 src/gmio_stl/internal/stlb_write.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/gmio_stl/internal/stlb_write.c b/src/gmio_stl/internal/stlb_write.c
index 8186dbf..238532d 100644
--- a/src/gmio_stl/internal/stlb_write.c
+++ b/src/gmio_stl/internal/stlb_write.c
@@ -91,6 +91,8 @@ int gmio_stlb_write(
     /* Initialize wparams */
     if (byte_order != GMIO_ENDIANNESS_HOST)
         wparams.func_fix_endian = gmio_stl_triangle_bswap;
+    /* Note: trsf != NULL  certified by gmio_stlb_check_params() */
+    /* coverity[var_deref_op : FALSE] */
     wparams.facet_count = gmio_size_to_uint32(
                 trsf->buffer.size / GMIO_STLB_TRIANGLE_RAWSIZE);