repo.or.cz
/
smatch.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
slice: remove unneeded nr_nrbits from EXPR_SLICE
[smatch.git]
/
validation
/
crash-rewrite-branch.c
blob
eb310df1cd61264c82f71c283403ed58da3acb63
1
void
a
(
int
c
,
int
e
)
2
{
3
for
(;
b
;
c
;
4
5
if
(()) {
6
unsigned short
d
=
e
;
7
if
(())
8
while
()
9
;
10
&
d
;
11
}
12
13
if
(()) {
14
int
f
= &
f
;
15
}
16
}
17
18
/*
19
* check-name: crash rewrite_branch
20
* check-command: test-linearize $file
21
*
22
* check-error-ignore
23
* check-output-ignore
24
*/