repo.or.cz
/
smatch.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
history
|
HEAD
|
snapshot (
tar.gz
zip
)
hooks: add a warning to detect unimplemented hooks
[smatch.git]
/
validation
/
optim
/
tree
5b7857922407022ac8308cedec5b1dd2e765d934
drwxr-xr-x
..
-rw-r--r--
267
address-used01.c
blob
|
blame
|
history
|
raw
-rw-r--r--
488
and-extend.c
blob
|
blame
|
history
|
raw
-rw-r--r--
295
and-lsr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
314
and-or-bf0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
283
and-or-bf1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
297
and-or-bf2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
420
and-or-bfs.c
blob
|
blame
|
history
|
raw
-rw-r--r--
349
and-or-bfu.c
blob
|
blame
|
history
|
raw
-rw-r--r--
265
and-or-bfx.c
blob
|
blame
|
history
|
raw
-rw-r--r--
200
and-or-constant0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
276
and-or-constant1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
257
and-or-constant2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
141
and-or-crash.c
blob
|
blame
|
history
|
raw
-rw-r--r--
229
and-or-lsr0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
243
and-or-lsr1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
267
and-or-lsr2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
286
and-or-lsrx.c
blob
|
blame
|
history
|
raw
-rw-r--r--
231
and-or-mask.c
blob
|
blame
|
history
|
raw
-rw-r--r--
209
and-or-mask0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
246
and-or-mask1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
268
and-or-mask2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
479
and-or-mask3s.c
blob
|
blame
|
history
|
raw
-rw-r--r--
477
and-or-mask3u.c
blob
|
blame
|
history
|
raw
-rw-r--r--
476
and-or-mask4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
254
and-or-maskx.c
blob
|
blame
|
history
|
raw
-rw-r--r--
206
and-or-shl0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
243
and-or-shl1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
267
and-or-shl2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
290
and-or-shlx.c
blob
|
blame
|
history
|
raw
-rw-r--r--
230
and-or-trunc0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
198
and-or-trunc1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
241
and-or-trunc2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
245
and-or-truncx.c
blob
|
blame
|
history
|
raw
-rw-r--r--
371
and-trunc.c
blob
|
blame
|
history
|
raw
-rw-r--r--
245
bad-phisrc1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
315
bad-phisrc1a.c
blob
|
blame
|
history
|
raw
-rw-r--r--
232
bad-phisrc2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
280
bad-phisrc3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1337
binops-same-args.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1325
bitfield-init-zero.c
blob
|
blame
|
history
|
raw
-rw-r--r--
934
bitfield-size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
543
bitfield-store-load0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
438
bitfield-store-loads.c
blob
|
blame
|
history
|
raw
-rw-r--r--
366
bitfield-store-loadu.c
blob
|
blame
|
history
|
raw
-rw-r--r--
430
bits-not-zero.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1717
bool-context-fp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
273
bool-context.c
blob
|
blame
|
history
|
raw
-rw-r--r--
284
bool-eq0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
324
bool-int-bool.c
blob
|
blame
|
history
|
raw
-rw-r--r--
290
bool-ne0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
292
bool-neq0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
295
bool-same-args.c
blob
|
blame
|
history
|
raw
-rw-r--r--
335
bool-sext-test.c
blob
|
blame
|
history
|
raw
-rw-r--r--
766
bool-simplify.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4220
bool-simplify2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
335
bool-zext-test.c
blob
|
blame
|
history
|
raw
-rw-r--r--
302
call-complex-pointer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
320
call-inlined.c
blob
|
blame
|
history
|
raw
-rw-r--r--
344
canonical-abs.c
blob
|
blame
|
history
|
raw
-rw-r--r--
960
canonical-add.c
blob
|
blame
|
history
|
raw
-rw-r--r--
293
canonical-arg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1039
canonical-cmp-zero.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1006
canonical-cmp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
460
canonical-cmpe-minmax.c
blob
|
blame
|
history
|
raw
-rw-r--r--
436
canonical-cmps-minmax.c
blob
|
blame
|
history
|
raw
-rw-r--r--
561
canonical-cmps-sel.c
blob
|
blame
|
history
|
raw
-rw-r--r--
462
canonical-cmps.c
blob
|
blame
|
history
|
raw
-rw-r--r--
466
canonical-cmpu.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2028
canonical-fcmp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
668
canonical-mul.c
blob
|
blame
|
history
|
raw
-rw-r--r--
200
canonical-not.c
blob
|
blame
|
history
|
raw
-rw-r--r--
206
canonical-sub-cte.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6906
cast-kinds.c
blob
|
blame
|
history
|
raw
-rw-r--r--
272
cast-nop.c
blob
|
blame
|
history
|
raw
-rw-r--r--
375
cgoto01.c
blob
|
blame
|
history
|
raw
-rw-r--r--
232
cgoto02.c
blob
|
blame
|
history
|
raw
-rw-r--r--
274
cmp-and-pow2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
239
cmp-op-type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
574
cmp-sext-sext.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2822
cmp-sext-simm.c
blob
|
blame
|
history
|
raw
-rw-r--r--
943
cmp-sext-uimm.c
blob
|
blame
|
history
|
raw
-rw-r--r--
947
cmp-sext.c
blob
|
blame
|
history
|
raw
-rw-r--r--
197
cmp-type0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
203
cmp-type1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
873
cmp-zext-simm.c
blob
|
blame
|
history
|
raw
-rw-r--r--
764
cmp-zext-uimm0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
500
cmp-zext-uimm1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1419
cmp-zext-uimm2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
577
cmp-zext-zext.c
blob
|
blame
|
history
|
raw
-rw-r--r--
584
cmp-zext.c
blob
|
blame
|
history
|
raw
-rw-r--r--
263
cmpe-and0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
232
cmpe-or0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
736
cmps-and0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
382
cmps-minmax.c
blob
|
blame
|
history
|
raw
-rw-r--r--
700
cmps-or0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
290
cmps0-and0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
575
cmpu-and0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
606
cmpu-or0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
188
cse-arg01.c
blob
|
blame
|
history
|
raw
-rw-r--r--
261
cse-cmp-next.c
blob
|
blame
|
history
|
raw
-rw-r--r--
766
cse-commutativity.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1408
cse-dual-compare.c
blob
|
blame
|
history
|
raw
-rw-r--r--
253
cse-fcmp.c
blob
|
blame
|
history
|
raw
-rw-r--r--
188
cse-label.c
blob
|
blame
|
history
|
raw
-rw-r--r--
261
cse-not01.c
blob
|
blame
|
history
|
raw
-rw-r--r--
318
cse-not02.c
blob
|
blame
|
history
|
raw
-rw-r--r--
211
cse-reg01.c
blob
|
blame
|
history
|
raw
-rw-r--r--
220
cse-setfval.c
blob
|
blame
|
history
|
raw
-rw-r--r--
261
cse-size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
298
devirtualize0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
351
double-unop.c
blob
|
blame
|
history
|
raw
-rw-r--r--
260
dup-cond0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
389
eqne-select.c
blob
|
blame
|
history
|
raw
-rw-r--r--
239
ext-trunc-greater.c
blob
|
blame
|
history
|
raw
-rw-r--r--
306
ext-trunc-same.c
blob
|
blame
|
history
|
raw
-rw-r--r--
274
ext-trunc-smaller.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1437
fact-add-mul.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1437
fact-and-ior.c
blob
|
blame
|
history
|
raw
-rw-r--r--
483
fact-and-shift.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1437
fact-ior-and.c
blob
|
blame
|
history
|
raw
-rw-r--r--
483
fact-ior-shift.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1386
fact-select01.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1437
fact-xor-and.c
blob
|
blame
|
history
|
raw
-rw-r--r--
483
fact-xor-shift.c
blob
|
blame
|
history
|
raw
-rw-r--r--
245
fpcast-constant.c
blob
|
blame
|
history
|
raw
-rw-r--r--
414
fpcast-nop.c
blob
|
blame
|
history
|
raw
-rw-r--r--
316
inline-return.c
blob
|
blame
|
history
|
raw
-rw-r--r--
492
kill-casts.c
blob
|
blame
|
history
|
raw
-rw-r--r--
390
kill-stores0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
694
kill-stores1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
222
kill-stores2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
194
killed-insn.c
blob
|
blame
|
history
|
raw
-rw-r--r--
388
live-stores0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
227
load-converted.c
blob
|
blame
|
history
|
raw
-rw-r--r--
196
load-dead.c
blob
|
blame
|
history
|
raw
-rw-r--r--
356
load-semi-volatile.c
blob
|
blame
|
history
|
raw
-rw-r--r--
236
lsr-and0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
479
lsr-and1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
527
lsr-asr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
270
lsr-shl0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
374
lsr-to-asr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
277
mask-lsr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
226
mask-out.c
blob
|
blame
|
history
|
raw
-rw-r--r--
317
mask1-setne0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
346
memops-missed01.c
blob
|
blame
|
history
|
raw
-rw-r--r--
226
memops-missed02.c
blob
|
blame
|
history
|
raw
-rw-r--r--
357
merge_bbe-adjust_phi.c
blob
|
blame
|
history
|
raw
-rw-r--r--
291
missing-select.c
blob
|
blame
|
history
|
raw
-rw-r--r--
478
muldiv-by-one.c
blob
|
blame
|
history
|
raw
-rw-r--r--
269
muldiv-by-zero.c
blob
|
blame
|
history
|
raw
-rw-r--r--
475
muldiv-minus-one.c
blob
|
blame
|
history
|
raw
-rw-r--r--
279
multi-phisrc.c
blob
|
blame
|
history
|
raw
-rw-r--r--
77
null-phi.c
blob
|
blame
|
history
|
raw
-rw-r--r--
438
or-and-constant1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
349
phi-count00.c
blob
|
blame
|
history
|
raw
-rw-r--r--
269
phi-ret.c
blob
|
blame
|
history
|
raw
-rw-r--r--
300
range-check1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
234
range-check2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
220
reassoc-op-op1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
938
restrict.c
blob
|
blame
|
history
|
raw
-rw-r--r--
380
select-and-shift.c
blob
|
blame
|
history
|
raw
-rw-r--r--
272
select-constant-cond.c
blob
|
blame
|
history
|
raw
-rw-r--r--
193
select-same-args.c
blob
|
blame
|
history
|
raw
-rw-r--r--
309
select-select-true-false0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
232
select-select-true-false1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
220
select-select-true-true.c
blob
|
blame
|
history
|
raw
-rw-r--r--
244
select-self-zero.c
blob
|
blame
|
history
|
raw
-rw-r--r--
240
select-zero.c
blob
|
blame
|
history
|
raw
-rw-r--r--
552
set-uimm0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
259
set-uimm1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
425
set-uimm2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
249
set-uimm3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
227
setcc-mask.c
blob
|
blame
|
history
|
raw
-rw-r--r--
685
setcc-setcc.c
blob
|
blame
|
history
|
raw
-rw-r--r--
353
setcc-seteq.c
blob
|
blame
|
history
|
raw
-rw-r--r--
356
setcc-setne.c
blob
|
blame
|
history
|
raw
-rw-r--r--
184
setne0-sext.c
blob
|
blame
|
history
|
raw
-rw-r--r--
186
setne0-trunc.c
blob
|
blame
|
history
|
raw
-rw-r--r--
210
setne0-zext.c
blob
|
blame
|
history
|
raw
-rw-r--r--
205
sext-sext.c
blob
|
blame
|
history
|
raw
-rw-r--r--
250
sext.c
blob
|
blame
|
history
|
raw
-rw-r--r--
423
sh-or-and0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
425
sh-or-and1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
489
sh-or-and2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1259
shift-big.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1623
shift-shift.c
blob
|
blame
|
history
|
raw
-rw-r--r--
221
shift-zext.c
blob
|
blame
|
history
|
raw
-rw-r--r--
236
shl-and0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
479
shl-and1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
273
shl-lsr0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
207
simplify-add-neg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
214
simplify-cte-sub-addl.c
blob
|
blame
|
history
|
raw
-rw-r--r--
214
simplify-cte-sub-addr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
209
simplify-cte-sub-subr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
219
simplify-neg-add-cte.c
blob
|
blame
|
history
|
raw
-rw-r--r--
207
simplify-neg-add.c
blob
|
blame
|
history
|
raw
-rw-r--r--
196
simplify-neg-not.c
blob
|
blame
|
history
|
raw
-rw-r--r--
208
simplify-neg-sub.c
blob
|
blame
|
history
|
raw
-rw-r--r--
219
simplify-not-add-cte.c
blob
|
blame
|
history
|
raw
-rw-r--r--
198
simplify-not-neg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
219
simplify-not-sub-cte.c
blob
|
blame
|
history
|
raw
-rw-r--r--
219
simplify-not-xor-cte.c
blob
|
blame
|
history
|
raw
-rw-r--r--
242
simplify-same-add-subl.c
blob
|
blame
|
history
|
raw
-rw-r--r--
242
simplify-same-add-subr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
207
simplify-same-addl-sub.c
blob
|
blame
|
history
|
raw
-rw-r--r--
207
simplify-same-sub-addl.c
blob
|
blame
|
history
|
raw
-rw-r--r--
279
simplify-same-subl-add.c
blob
|
blame
|
history
|
raw
-rw-r--r--
279
simplify-same-subr-add.c
blob
|
blame
|
history
|
raw
-rw-r--r--
207
simplify-sub-neg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
195
simplify-zero-sub.c
blob
|
blame
|
history
|
raw
-rw-r--r--
211
store-dominated.c
blob
|
blame
|
history
|
raw
-rw-r--r--
197
testsuite.c
blob
|
blame
|
history
|
raw
-rw-r--r--
252
trivial-phi01.c
blob
|
blame
|
history
|
raw
-rw-r--r--
221
trivial-phis.c
blob
|
blame
|
history
|
raw
-rw-r--r--
271
trunc-mask-zext.c
blob
|
blame
|
history
|
raw
-rw-r--r--
536
trunc-not0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
368
trunc-or-shl.c
blob
|
blame
|
history
|
raw
-rw-r--r--
384
trunc-seteq0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
286
trunc-setne0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
200
trunc-trunc.c
blob
|
blame
|
history
|
raw
-rw-r--r--
327
void-if-convert.c
blob
|
blame
|
history
|
raw
-rw-r--r--
217
volatile-bitfield.c
blob
|
blame
|
history
|
raw
-rw-r--r--
217
volatile-side-effect.c
blob
|
blame
|
history
|
raw
-rw-r--r--
331
volatile-store00.c
blob
|
blame
|
history
|
raw
-rw-r--r--
213
zext-and.c
blob
|
blame
|
history
|
raw
-rw-r--r--
220
zext-and1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
237
zext-asr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
779
zext-cmpu.c
blob
|
blame
|
history
|
raw
-rw-r--r--
241
zext-sext.c
blob
|
blame
|
history
|
raw
-rw-r--r--
250
zext-zext.c
blob
|
blame
|
history
|
raw