Add a Coverity annotation.

The Coverity scan of open-vm-tools reports an out-of-bounds access
issue in Util_BacktraceWithFunc.  This is intentional, to compute
the base pointer for a stack trace.

diff --git a/open-vm-tools/lib/user/utilBacktrace.c b/open-vm-tools/lib/user/utilBacktrace.c
index dca33d2675b0e3064715bdbaf3533cd2b7a588f2..e1259606f61c8d6f6812efeed9a8060e3c51ac9e 100644 (file)
--- a/open-vm-tools/lib/user/utilBacktrace.c
+++ b/open-vm-tools/lib/user/utilBacktrace.c
@@ -1,5 +1,5 @@
 /*********************************************************
- * Copyright (C) 2013-2019 VMware, Inc. All rights reserved.
+ * Copyright (C) 2013-2020 VMware, Inc. All rights reserved.
  *
  * This program is free software; you can redistribute it and/or modify it
  * under the terms of the GNU Lesser General Public License as published
@@ -438,6 +438,7 @@ Util_BacktraceWithFunc(int bugNr,                // IN:
    } else {
       outFunc(outFuncData, "Backtrace for bugNr=%d\n",bugNr);
    }
+   /* coverity[ptr_arith] */
    UtilBacktraceFromPointerWithFunc(&x[-2], outFunc, outFuncData);
 #endif
 }