extern/encfs
1
0
Fork 0
mirror of https://github.com/vgough/encfs.git synced 2025-02-16 17:50:53 +01:00
Code Issues Packages Projects Releases Wiki Activity

add coverity model for CHECK operation

Browse Source
This commit is contained in:
Valient Gough 2016-09-08 13:12:43 +02:00
parent 6f26a49e0e
commit 84073f7d90
No known key found for this signature in database
GPG Key ID: B515DCEB95967051
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
model/logging.c Normal file
View File

@ -0,0 +1,12 @@
void CHECK(bool cond) {
if (!cond) {
__coverity_panic__();
}
}
void CHECK_EQ(int l, int r) {
if (l != r) {
__coverity_panic__();
}
}