⚲
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 (132 Bytes)
Bug #2307
ยป x.c
small file that demonstrates the problem -
Pavel Shved
, 01/27/2012 01:04 AM
void
err
()
{
ERROR
:
goto
ERROR
;}
int
main
()
{
int
x
,
y
;
y
=
x
;
if
((
y
&
(
1
<<
15
))
==
0
){
if
((
x
&
(
1
<<
15
))
!=
0
)
err
();
}
}
(1-1/1)
Loading...