⚲
Project
General
Profile
Sign in
Home
Projects
Help
Search
:
BLAST
All Projects
Linux Driver Verification
»
BLAST
Overview
Activity
Roadmap
Issues
News
Wiki
Files
Repository
Download (226 Bytes)
Bug #1684
ยป only_int.c
Pavel Shved
, 08/24/2011 09:56 PM
void
err
()
{
ERROR:
goto
ERROR
;
}
void
mutex_lock
(
int
*
a
)
{
if
(
*
a
==
1
)
err
();
*
a
=
1
;
}
void
mutex_unlock
(
int
*
b
)
{
if
(
*
b
!=
1
)
err
();
*
b
=
0
;
}
int
main
()
{
int
m
;
m
=
0
;
mutex_lock
(
&
m
);
mutex_unlock
(
&
m
);
}
(1-1/1)
Loading...