diff options
| author | Mounir IDRASSI <mounir.idrassi@idrix.fr> | 2015-03-08 20:12:40 +0100 |
|---|---|---|
| committer | Mounir IDRASSI <mounir.idrassi@idrix.fr> | 2015-03-08 20:14:33 +0100 |
| commit | ef196b5ca542bf5ca1e96be2b21c46820834d814 (patch) | |
| tree | b4a32c092ec78571b1ec00c597da4bb9a8b88d63 | |
| parent | 279c99fdf829884b8a544441d0a2cd09e9c8dd27 (diff) | |
| download | VeraCrypt-ef196b5ca542bf5ca1e96be2b21c46820834d814.tar.gz VeraCrypt-ef196b5ca542bf5ca1e96be2b21c46820834d814.zip | |
Add Coverity define to avoid false positives during Static Code Analysis when TC_THROW_FATAL_EXCEPTION is used in the code
| -rw-r--r-- | src/Common/Tcdefs.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/Common/Tcdefs.h b/src/Common/Tcdefs.h index a2d7355d..e177e02c 100644 --- a/src/Common/Tcdefs.h +++ b/src/Common/Tcdefs.h @@ -128,6 +128,11 @@ void ThrowFatalException (int line); # define TC_THROW_FATAL_EXCEPTION *(char *) 0 = 0
#endif
+#ifdef __COVERITY__
+#undef TC_THROW_FATAL_EXCEPTION
+#define TC_THROW_FATAL_EXCEPTION __coverity_panic__()
+#endif
+
#ifdef TC_WINDOWS_DRIVER
#include <ntifs.h>
|