Showing error 646

User: Jiri Slaby
Error type: Double Unlock
Error type description: Some lock is unlocked twice unintentionally in a sequence
File location: lib/locking-selftest.c
Line in file: 484
Project: Linux Kernel
Project version: 2.6.28
Tools: Stanse (1.2)
Entered: 2011-11-07 22:20:57 UTC

Source: 

 454 * 6 testcases:
 455 */
 456#include "locking-selftest-spin.h"
 457GENERATE_TESTCASE(ABCDBCDA_spin)
 458#include "locking-selftest-wlock.h"
 459GENERATE_TESTCASE(ABCDBCDA_wlock)
 460#include "locking-selftest-rlock.h"
 461GENERATE_TESTCASE(ABCDBCDA_rlock)
 462#include "locking-selftest-mutex.h"
 463GENERATE_TESTCASE(ABCDBCDA_mutex)
 464#include "locking-selftest-wsem.h"
 465GENERATE_TESTCASE(ABCDBCDA_wsem)
 466#include "locking-selftest-rsem.h"
 467GENERATE_TESTCASE(ABCDBCDA_rsem)
 468
 469#undef E
 470
 471/*
 472 * Double unlock:
 473 */
 474#define E()                                        \
 475                                                \
 476        LOCK(A);                                \
 477        UNLOCK(A);                                \
 478        UNLOCK(A); /* fail */
 479
 480/*
 481 * 6 testcases:
 482 */
 483#include "locking-selftest-spin.h"
 484GENERATE_TESTCASE(double_unlock_spin)
 485#include "locking-selftest-wlock.h"
 486GENERATE_TESTCASE(double_unlock_wlock)
 487#include "locking-selftest-rlock.h"
 488GENERATE_TESTCASE(double_unlock_rlock)
 489#include "locking-selftest-mutex.h"
 490GENERATE_TESTCASE(double_unlock_mutex)
 491#include "locking-selftest-wsem.h"
 492GENERATE_TESTCASE(double_unlock_wsem)
 493#include "locking-selftest-rsem.h"
 494GENERATE_TESTCASE(double_unlock_rsem)
Show full sources
↑