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
)
states: fix get_state_expr() uses of fake_parent
1.70
[smatch.git]
/
validation
/
tree
bb4bf13b81232f457f94801fb4830c78f5d1cdda
drwxr-xr-x
..
-rw-r--r--
37
.gitignore
blob
|
blame
|
history
|
raw
-rw-r--r--
432
Waddress-array.c
blob
|
blame
|
history
|
raw
-rw-r--r--
314
Waddress-function.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2544
Waddress-space-all-attr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2002
Waddress-space-from.c
blob
|
blame
|
history
|
raw
-rw-r--r--
988
Waddress-space-strict.c
blob
|
blame
|
history
|
raw
-rw-r--r--
618
Waddress-weak.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3832
Waddress.c
blob
|
blame
|
history
|
raw
-rw-r--r--
708
Wcast-to-as.c
blob
|
blame
|
history
|
raw
-rw-r--r--
302
Woverride-init-def.c
blob
|
blame
|
history
|
raw
-rw-r--r--
205
Woverride-init-no.c
blob
|
blame
|
history
|
raw
-rw-r--r--
318
Woverride-init-yes.c
blob
|
blame
|
history
|
raw
-rw-r--r--
653
Wuniv-init-ko.c
blob
|
blame
|
history
|
raw
-rw-r--r--
523
Wuniv-init-ok.c
blob
|
blame
|
history
|
raw
-rw-r--r--
103
Wunknown-attribute-def.c
blob
|
blame
|
history
|
raw
-rw-r--r--
203
Wunknown-attribute-no.c
blob
|
blame
|
history
|
raw
-rw-r--r--
279
Wunknown-attribute-yes.c
blob
|
blame
|
history
|
raw
-rw-r--r--
139
__func__-scope.c
blob
|
blame
|
history
|
raw
-rw-r--r--
325
__func__.c
blob
|
blame
|
history
|
raw
-rw-r--r--
543
abi-integer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
570
abstract-array-declarator-quals.c
blob
|
blame
|
history
|
raw
-rw-r--r--
138
abstract-array-declarator-star.c
blob
|
blame
|
history
|
raw
-rw-r--r--
534
abstract-array-declarator-static.c
blob
|
blame
|
history
|
raw
-rw-r--r--
268
abstract-array-declarator.c
blob
|
blame
|
history
|
raw
-rw-r--r--
445
address_space.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1304
alloc-align.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1679
alternate-keywords.c
blob
|
blame
|
history
|
raw
-rw-r--r--
160
anon-union.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
arch
tree
|
history
-rw-r--r--
475
array-implicit-size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
384
as-name.c
blob
|
blame
|
history
|
raw
-rw-r--r--
876
asm-bad0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
889
asm-empty-clobber.c
blob
|
blame
|
history
|
raw
-rw-r--r--
661
asm-goto-labels.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1524
asm-inline.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1674
attr-context.c
blob
|
blame
|
history
|
raw
-rw-r--r--
380
attr-inline.c
blob
|
blame
|
history
|
raw
-rw-r--r--
169
attr-no_sanitize_address.c
blob
|
blame
|
history
|
raw
-rw-r--r--
122
attr-noclone.c
blob
|
blame
|
history
|
raw
-rw-r--r--
258
attr-optimize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
179
attr-visible.c
blob
|
blame
|
history
|
raw
-rw-r--r--
177
attr-visible2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
178
attr-warning.c
blob
|
blame
|
history
|
raw
-rw-r--r--
162
attr_aligned.c
blob
|
blame
|
history
|
raw
-rw-r--r--
237
attr_in_parameter.c
blob
|
blame
|
history
|
raw
-rw-r--r--
127
attr_vector_size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1689
autotype-ko.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1315
autotype.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
backend
tree
|
history
-rw-r--r--
367
bad-array-designated-initializer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
285
bad-assignment.c
blob
|
blame
|
history
|
raw
-rw-r--r--
278
bad-cast.c
blob
|
blame
|
history
|
raw
-rw-r--r--
306
bad-return-type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
287
bad-ternary-cond.c
blob
|
blame
|
history
|
raw
-rw-r--r--
229
bad-type-twice0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
334
bad-type-twice1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
434
bad-type-twice2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
213
bad-typeof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
189
badtype1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
656
badtype2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
830
badtype3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
261
badtype4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
479
badtype5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
68
binary-constant.c
blob
|
blame
|
history
|
raw
-rw-r--r--
556
bitfield-bool-layout.c
blob
|
blame
|
history
|
raw
-rw-r--r--
217
bitfield-kr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
708
bitfield-sizes.c
blob
|
blame
|
history
|
raw
-rw-r--r--
308
bitfields.c
blob
|
blame
|
history
|
raw
-rw-r--r--
912
bitwise-cast-ptr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1093
bitwise-cast.c
blob
|
blame
|
history
|
raw
-rw-r--r--
477
bitwise-function-pointer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
831
bool-array.c
blob
|
blame
|
history
|
raw
-rw-r--r--
631
bool-cast-bad.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1664
bool-cast-restricted.c
blob
|
blame
|
history
|
raw
-rw-r--r--
186
bool-float.c
blob
|
blame
|
history
|
raw
-rw-r--r--
591
bswap-constant-folding.c
blob
|
blame
|
history
|
raw
-rw-r--r--
308
bug-bad-type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
112
bug-crash16.c
blob
|
blame
|
history
|
raw
-rw-r--r--
391
bug-rshift-ub.c
blob
|
blame
|
history
|
raw
-rw-r--r--
344
bug_inline_switch.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
104
build_smatch_db.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
1805
builtin-args-checking.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1378
builtin-arith.c
blob
|
blame
|
history
|
raw
-rw-r--r--
733
builtin-bswap-constant.c
blob
|
blame
|
history
|
raw
-rw-r--r--
782
builtin-bswap-variable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2846
builtin-fp-unop.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11657
builtin-overflow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
310
builtin-prototype.c
blob
|
blame
|
history
|
raw
-rw-r--r--
547
builtin-sync-cas.c
blob
|
blame
|
history
|
raw
-rw-r--r--
739
builtin_atomic.c
blob
|
blame
|
history
|
raw
-rw-r--r--
225
builtin_bswap.c
blob
|
blame
|
history
|
raw
-rw-r--r--
535
builtin_inf.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1047
builtin_safe1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
233
builtin_unreachable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
344
builtin_va_arg_pack.c
blob
|
blame
|
history
|
raw
-rw-r--r--
982
c11-alignas.c
blob
|
blame
|
history
|
raw
-rw-r--r--
200
c11-alignof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4139
c11-atomic.c
blob
|
blame
|
history
|
raw
-rw-r--r--
197
c11-noreturn.c
blob
|
blame
|
history
|
raw
-rw-r--r--
154
c11-stdc-version.c
blob
|
blame
|
history
|
raw
-rw-r--r--
178
c11-thread-local.c
blob
|
blame
|
history
|
raw
-rw-r--r--
986
c99-for-loop-decl.c
blob
|
blame
|
history
|
raw
-rw-r--r--
327
c99-for-loop.c
blob
|
blame
|
history
|
raw
-rw-r--r--
820
call-inlined.c
blob
|
blame
|
history
|
raw
-rw-r--r--
473
call-variadic.c
blob
|
blame
|
history
|
raw
-rw-r--r--
785
calling-convention-attributes.c
blob
|
blame
|
history
|
raw
-rw-r--r--
796
cast-bad-00.c
blob
|
blame
|
history
|
raw
-rw-r--r--
217
cast-bad-01.c
blob
|
blame
|
history
|
raw
-rw-r--r--
818
cast-kinds-check.c
blob
|
blame
|
history
|
raw
-rw-r--r--
571
cast-weirds.c
blob
|
blame
|
history
|
raw
-rw-r--r--
176
char-signed-native.c
blob
|
blame
|
history
|
raw
-rw-r--r--
172
char-signed.c
blob
|
blame
|
history
|
raw
-rw-r--r--
228
char-unsigned-native.c
blob
|
blame
|
history
|
raw
-rw-r--r--
227
char-unsigned.c
blob
|
blame
|
history
|
raw
-rw-r--r--
233
check_access-multi.c
blob
|
blame
|
history
|
raw
-rw-r--r--
354
check_access-store.c
blob
|
blame
|
history
|
raw
-rw-r--r--
653
check_byte_count-ice.c
blob
|
blame
|
history
|
raw
-rw-r--r--
670
choose_expr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
269
comma.c
blob
|
blame
|
history
|
raw
-rw-r--r--
347
compare-null-to-int.c
blob
|
blame
|
history
|
raw
-rw-r--r--
387
compound-assign-type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1829
compound-sizes.c
blob
|
blame
|
history
|
raw
-rw-r--r--
322
cond-address.c
blob
|
blame
|
history
|
raw
-rw-r--r--
667
cond-err-expand.c
blob
|
blame
|
history
|
raw
-rw-r--r--
476
cond_expr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
869
cond_expr2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
622
cond_expr3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1944
conditional-type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
382
constant-suffix-32.c
blob
|
blame
|
history
|
raw
-rw-r--r--
399
constant-suffix-64.c
blob
|
blame
|
history
|
raw
-rw-r--r--
465
constexpr-addr-of-static-member.c
blob
|
blame
|
history
|
raw
-rw-r--r--
847
constexpr-addr-of-static.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1254
constexpr-binop.c
blob
|
blame
|
history
|
raw
-rw-r--r--
677
constexpr-cast.c
blob
|
blame
|
history
|
raw
-rw-r--r--
523
constexpr-compound-literal.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1329
constexpr-conditional.c
blob
|
blame
|
history
|
raw
-rw-r--r--
141
constexpr-constcond.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2134
constexpr-init.c
blob
|
blame
|
history
|
raw
-rw-r--r--
212
constexpr-labelref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
426
constexpr-offsetof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
942
constexpr-pointer-arith.c
blob
|
blame
|
history
|
raw
-rw-r--r--
334
constexpr-pointer-cast.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1076
constexpr-preop.c
blob
|
blame
|
history
|
raw
-rw-r--r--
475
constexpr-pure-builtin.c
blob
|
blame
|
history
|
raw
-rw-r--r--
259
constexpr-shift.c
blob
|
blame
|
history
|
raw
-rw-r--r--
180
constexpr-string.c
blob
|
blame
|
history
|
raw
-rw-r--r--
175
constexpr-types-compatible-p.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2328
context-stmt.c
blob
|
blame
|
history
|
raw
-rw-r--r--
175
context-unreachable.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4520
context.c
blob
|
blame
|
history
|
raw
-rw-r--r--
247
crash-add-doms.c
blob
|
blame
|
history
|
raw
-rw-r--r--
138
crash-bb_target.c
blob
|
blame
|
history
|
raw
-rw-r--r--
168
crash-ep-active.c
blob
|
blame
|
history
|
raw
-rw-r--r--
417
crash-ptrlist.c
blob
|
blame
|
history
|
raw
-rw-r--r--
290
crash-rewrite-branch.c
blob
|
blame
|
history
|
raw
-rw-r--r--
167
crash-select.c
blob
|
blame
|
history
|
raw
-rw-r--r--
598
crazy02-not-so.c
blob
|
blame
|
history
|
raw
-rw-r--r--
357
crazy03.c
blob
|
blame
|
history
|
raw
-rw-r--r--
257
declaration-after-statement-ansi.c
blob
|
blame
|
history
|
raw
-rw-r--r--
258
declaration-after-statement-c89.c
blob
|
blame
|
history
|
raw
-rw-r--r--
141
declaration-after-statement-c99.c
blob
|
blame
|
history
|
raw
-rw-r--r--
136
declaration-after-statement-default.c
blob
|
blame
|
history
|
raw
-rw-r--r--
153
definitions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7254
designated-init.c
blob
|
blame
|
history
|
raw
-rw-r--r--
940
div.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
doc
tree
|
history
-rw-r--r--
179
double-semicolon.c
blob
|
blame
|
history
|
raw
-rw-r--r--
893
dubious-bitwise-with-not.c
blob
|
blame
|
history
|
raw
-rw-r--r--
729
dup-defs-local.c
blob
|
blame
|
history
|
raw
-rw-r--r--
190
empty-assign.c
blob
|
blame
|
history
|
raw
-rw-r--r--
165
empty-char-constant.c
blob
|
blame
|
history
|
raw
-rw-r--r--
357
empty-expr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
0
empty-file
blob
|
blame
|
history
|
raw
-rw-r--r--
172
empty-initializer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
333
endian-big.c
blob
|
blame
|
history
|
raw
-rw-r--r--
342
endian-little.c
blob
|
blame
|
history
|
raw
-rw-r--r--
390
enum+mode.c
blob
|
blame
|
history
|
raw
-rw-r--r--
409
enum-base-type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
478
enum-bitwise-bad.c
blob
|
blame
|
history
|
raw
-rw-r--r--
579
enum-bitwise-mixed.c
blob
|
blame
|
history
|
raw
-rw-r--r--
436
enum-bitwise.c
blob
|
blame
|
history
|
raw
-rw-r--r--
502
enum-bounds.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2065
enum-common.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1258
enum-from-int.c
blob
|
blame
|
history
|
raw
-rw-r--r--
97
enum-init-constness.c
blob
|
blame
|
history
|
raw
-rw-r--r--
213
enum-invalid.c
blob
|
blame
|
history
|
raw
-rw-r--r--
725
enum-min-size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
366
enum-mismatch.c
blob
|
blame
|
history
|
raw
-rw-r--r--
295
enum-same-type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
212
enum-sign-extend.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1982
enum-sign-gcc.c
blob
|
blame
|
history
|
raw
-rw-r--r--
936
enum-to-int.c
blob
|
blame
|
history
|
raw
-rw-r--r--
976
enum-typecheck.c
blob
|
blame
|
history
|
raw
-rw-r--r--
152
enum_scope.c
blob
|
blame
|
history
|
raw
-rw-r--r--
191
error-at-eof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1259
escapes.c
blob
|
blame
|
history
|
raw
-rw-r--r--
336
eval-bad-assign1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
352
eval-bad-assign2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
326
eval-typeof-vla.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
eval
tree
|
history
drwxr-xr-x
-
expand
tree
|
history
-rw-r--r--
249
extern-array.c
blob
|
blame
|
history
|
raw
-rw-r--r--
391
extern-inline.c
blob
|
blame
|
history
|
raw
-rw-r--r--
253
fdiag-prefix.c
blob
|
blame
|
history
|
raw
-rw-r--r--
221
field-overlap.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2699
field-override.c
blob
|
blame
|
history
|
raw
-rw-r--r--
251
fored_arg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
707
foul-bitwise.c
blob
|
blame
|
history
|
raw
-rw-r--r--
164
foul-scalar.c
blob
|
blame
|
history
|
raw
-rw-r--r--
931
fp-ops.c
blob
|
blame
|
history
|
raw
-rw-r--r--
193
function-attribute-inner.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1000
function-attribute-pointer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
202
function-attribute-void-ptr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
268
function-attribute.c
blob
|
blame
|
history
|
raw
-rw-r--r--
137
function-pointer-inheritance.c
blob
|
blame
|
history
|
raw
-rw-r--r--
419
function-pointer-type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
237
function-redecl-funattr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4411
function-redecl.c
blob
|
blame
|
history
|
raw
-rw-r--r--
389
function-redecl2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
885
generic-bad0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
656
generic-dr481.c
blob
|
blame
|
history
|
raw
-rw-r--r--
584
generic-functions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
652
generic-schar.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2217
generic-typename.c
blob
|
blame
|
history
|
raw
-rw-r--r--
304
goto-label.c
blob
|
blame
|
history
|
raw
-rw-r--r--
200
goto-reserved.c
blob
|
blame
|
history
|
raw
-rw-r--r--
547
identifier_list.c
blob
|
blame
|
history
|
raw
-rw-r--r--
291
implicit-KR-arg-type0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
359
implicit-KR-arg-type1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
395
implicit-ret-type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
302
implicit-type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
359
inc-dec-float.c
blob
|
blame
|
history
|
raw
-rw-r--r--
111
include-eval.c
blob
|
blame
|
history
|
raw
-rw-r--r--
153
include-eval.inc
blob
|
blame
|
history
|
raw
-rw-r--r--
416
incomplete-struct.c
blob
|
blame
|
history
|
raw
-rw-r--r--
169
infinite-loop0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
436
infinite-loop01.c
blob
|
blame
|
history
|
raw
-rw-r--r--
152
infinite-loop02.c
blob
|
blame
|
history
|
raw
-rw-r--r--
221
infinite-loop03.c
blob
|
blame
|
history
|
raw
-rw-r--r--
216
infinite-loop04.c
blob
|
blame
|
history
|
raw
-rw-r--r--
416
init-char-array.c
blob
|
blame
|
history
|
raw
-rw-r--r--
839
init-char-array1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1517
init-wstring.c
blob
|
blame
|
history
|
raw
-rw-r--r--
398
init_cstring.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1308
initializer-entry-defined-twice.c
blob
|
blame
|
history
|
raw
-rw-r--r--
255
inline-generic.c
blob
|
blame
|
history
|
raw
-rw-r--r--
510
inline_base0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
203
inline_compound_literals.c
blob
|
blame
|
history
|
raw
-rw-r--r--
111
inline_self.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1951
int128.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2098
integer-const-expr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
115
integer-promotions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
200
ioc-typecheck.c
blob
|
blame
|
history
|
raw
-rw-r--r--
227
kill-computedgoto.c
blob
|
blame
|
history
|
raw
-rw-r--r--
347
kill-cse.c
blob
|
blame
|
history
|
raw
-rw-r--r--
253
kill-insert-branch.c
blob
|
blame
|
history
|
raw
-rw-r--r--
428
kill-load.c
blob
|
blame
|
history
|
raw
-rw-r--r--
361
kill-phi-node.c
blob
|
blame
|
history
|
raw
-rw-r--r--
415
kill-phi-ttsbb.c
blob
|
blame
|
history
|
raw
-rw-r--r--
690
kill-phi-ttsbb2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
260
kill-phisrc.c
blob
|
blame
|
history
|
raw
-rw-r--r--
436
kill-pure-call.c
blob
|
blame
|
history
|
raw
-rw-r--r--
950
kill-replaced-insn.c
blob
|
blame
|
history
|
raw
-rw-r--r--
206
kill-rewritten-load.c
blob
|
blame
|
history
|
raw
-rw-r--r--
220
kill-select.c
blob
|
blame
|
history
|
raw
-rw-r--r--
253
kill-slice.c
blob
|
blame
|
history
|
raw
-rw-r--r--
399
kill-store.c
blob
|
blame
|
history
|
raw
-rw-r--r--
205
kill-switch.c
blob
|
blame
|
history
|
raw
-rw-r--r--
536
kill-unreachable-phi.c
blob
|
blame
|
history
|
raw
-rw-r--r--
244
label-asm.c
blob
|
blame
|
history
|
raw
-rw-r--r--
150
label-attr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
206
label-redefined.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1461
label-scope-cgoto.c
blob
|
blame
|
history
|
raw
-rw-r--r--
90
label-scope.c
blob
|
blame
|
history
|
raw
-rw-r--r--
494
label-scope1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
349
label-scope2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
681
label-stmt-expr0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
439
label-stmt-expr1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
898
label-stmt-expr2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
329
label-unused.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
linear
tree
|
history
-rw-r--r--
214
local-label.c
blob
|
blame
|
history
|
raw
-rw-r--r--
203
logical.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
mem2reg
tree
|
history
-rw-r--r--
222
member_of_typeof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
342
memops-volatile.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
memops
tree
|
history
-rw-r--r--
469
missing-ident.c
blob
|
blame
|
history
|
raw
-rw-r--r--
348
missing-return.c
blob
|
blame
|
history
|
raw
-rw-r--r--
176
multi-input.c
blob
|
blame
|
history
|
raw
-rw-r--r--
241
multi_typedef.c
blob
|
blame
|
history
|
raw
-rw-r--r--
811
nested-declarator.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1240
nested-declarator2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
576
nested-functions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5151
nocast.c
blob
|
blame
|
history
|
raw
-rw-r--r--
779
noderef.c
blob
|
blame
|
history
|
raw
-rw-r--r--
191
non-pointer-null.c
blob
|
blame
|
history
|
raw
-rw-r--r--
167
old-initializer-nowarn.c
blob
|
blame
|
history
|
raw
-rw-r--r--
215
old-initializer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
199
old-style-definition0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
314
old-style-definition1.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
optim
tree
|
history
-rw-r--r--
87
option-parsing-00.c
blob
|
blame
|
history
|
raw
-rw-r--r--
90
option-parsing-01.c
blob
|
blame
|
history
|
raw
-rw-r--r--
334
outer-scope.c
blob
|
blame
|
history
|
raw
-rw-r--r--
345
overflow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
379
plain-char-compatibility.c
blob
|
blame
|
history
|
raw
-rw-r--r--
73
pragma-once.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
preprocessor
tree
|
history
-rw-r--r--
127
prototype.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1986
ptr-inherit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
415
ptr-sub-blows.c
blob
|
blame
|
history
|
raw
-rw-r--r--
335
pure-function.c
blob
|
blame
|
history
|
raw
-rw-r--r--
445
range-syntax.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1533
repeat.h
blob
|
blame
|
history
|
raw
-rw-r--r--
7443
reserved.c
blob
|
blame
|
history
|
raw
-rw-r--r--
979
restrict-array.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3142
restrict.c
blob
|
blame
|
history
|
raw
-rw-r--r--
188
restricted-typeof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
229
self-quote-args.c
blob
|
blame
|
history
|
raw
-rw-r--r--
603
shift-negative.c
blob
|
blame
|
history
|
raw
-rw-r--r--
573
shift-undef-long.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4249
shift-undef.c
blob
|
blame
|
history
|
raw
-rw-r--r--
332
sizeof-bool.c
blob
|
blame
|
history
|
raw
-rw-r--r--
292
sizeof-builtin.c
blob
|
blame
|
history
|
raw
-rw-r--r--
150
sizeof-compound-postfix.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1061
sizeof-function.c
blob
|
blame
|
history
|
raw
-rw-r--r--
813
sizeof-incomplete-type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1199
sizeof-void.c
blob
|
blame
|
history
|
raw
-rw-r--r--
308
sm_WtoA.c
blob
|
blame
|
history
|
raw
-rw-r--r--
350
sm_absolute1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
851
sm_absolute2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1203
sm_array_overflow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
491
sm_array_overflow2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
410
sm_array_overflow3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1066
sm_array_overflow4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
508
sm_array_overflow5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
533
sm_bitwise1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
381
sm_bitwise2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
575
sm_buf_size1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
529
sm_buf_size2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
413
sm_buf_size3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
500
sm_buf_size4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
673
sm_buf_size5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
776
sm_buf_size6.c
blob
|
blame
|
history
|
raw
-rw-r--r--
618
sm_buf_size7.c
blob
|
blame
|
history
|
raw
-rw-r--r--
991
sm_buf_size8.c
blob
|
blame
|
history
|
raw
-rw-r--r--
834
sm_casts.c
blob
|
blame
|
history
|
raw
-rw-r--r--
658
sm_casts2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
334
sm_casts3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1002
sm_casts4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
929
sm_casts5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
924
sm_casts6.c
blob
|
blame
|
history
|
raw
-rw-r--r--
331
sm_casts7.c
blob
|
blame
|
history
|
raw
-rw-r--r--
552
sm_check_kunmap.c
blob
|
blame
|
history
|
raw
-rw-r--r--
481
sm_chunk1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
768
sm_chunk2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
712
sm_compare.c
blob
|
blame
|
history
|
raw
-rw-r--r--
317
sm_compare10.c
blob
|
blame
|
history
|
raw
-rw-r--r--
383
sm_compare11.c
blob
|
blame
|
history
|
raw
-rw-r--r--
792
sm_compare12.c
blob
|
blame
|
history
|
raw
-rw-r--r--
469
sm_compare13.c
blob
|
blame
|
history
|
raw
-rw-r--r--
491
sm_compare14.c
blob
|
blame
|
history
|
raw
-rw-r--r--
371
sm_compare15.c
blob
|
blame
|
history
|
raw
-rw-r--r--
373
sm_compare16.c
blob
|
blame
|
history
|
raw
-rw-r--r--
421
sm_compare17.c
blob
|
blame
|
history
|
raw
-rw-r--r--
339
sm_compare18.c
blob
|
blame
|
history
|
raw
-rw-r--r--
664
sm_compare2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
988
sm_compare3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
632
sm_compare4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
546
sm_compare5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
307
sm_compare6.c
blob
|
blame
|
history
|
raw
-rw-r--r--
402
sm_compare7.c
blob
|
blame
|
history
|
raw
-rw-r--r--
279
sm_compare8.c
blob
|
blame
|
history
|
raw
-rw-r--r--
279
sm_compare9.c
blob
|
blame
|
history
|
raw
-rw-r--r--
444
sm_compound_condition.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1556
sm_compound_conditions2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
638
sm_compound_conditions3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
626
sm_deref_check_deref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
378
sm_dev_hold.c
blob
|
blame
|
history
|
raw
-rw-r--r--
287
sm_double_free1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
354
sm_double_free2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
355
sm_efault.c
blob
|
blame
|
history
|
raw
-rw-r--r--
777
sm_equiv1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
544
sm_equiv2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
511
sm_equiv3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
383
sm_equiv4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
368
sm_err_ptr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
494
sm_fake_assignment.c
blob
|
blame
|
history
|
raw
-rw-r--r--
332
sm_float1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
738
sm_get_user1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
487
sm_implied.c
blob
|
blame
|
history
|
raw
-rw-r--r--
672
sm_implied10.c
blob
|
blame
|
history
|
raw
-rw-r--r--
456
sm_implied11.c
blob
|
blame
|
history
|
raw
-rw-r--r--
485
sm_implied12.c
blob
|
blame
|
history
|
raw
-rw-r--r--
381
sm_implied13.c
blob
|
blame
|
history
|
raw
-rw-r--r--
806
sm_implied14.c
blob
|
blame
|
history
|
raw
-rw-r--r--
586
sm_implied15.c
blob
|
blame
|
history
|
raw
-rw-r--r--
630
sm_implied16.c
blob
|
blame
|
history
|
raw
-rw-r--r--
452
sm_implied17.c
blob
|
blame
|
history
|
raw
-rw-r--r--
434
sm_implied18.c
blob
|
blame
|
history
|
raw
-rw-r--r--
426
sm_implied19.c
blob
|
blame
|
history
|
raw
-rw-r--r--
641
sm_implied2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
376
sm_implied3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
610
sm_implied4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
478
sm_implied5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
566
sm_implied6.c
blob
|
blame
|
history
|
raw
-rw-r--r--
417
sm_implied7.c
blob
|
blame
|
history
|
raw
-rw-r--r--
840
sm_implied8.c
blob
|
blame
|
history
|
raw
-rw-r--r--
715
sm_implied9.c
blob
|
blame
|
history
|
raw
-rw-r--r--
503
sm_impossible1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
501
sm_impossible2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
422
sm_impossible3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
319
sm_indirection1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
618
sm_indirection2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
658
sm_initializer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
601
sm_inline1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
392
sm_inline2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
710
sm_inline3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
705
sm_locking.c
blob
|
blame
|
history
|
raw
-rw-r--r--
696
sm_locking2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
647
sm_locking3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
597
sm_locking4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
899
sm_locking6.c
blob
|
blame
|
history
|
raw
-rw-r--r--
719
sm_locking7.c
blob
|
blame
|
history
|
raw
-rw-r--r--
730
sm_loops1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
834
sm_loops2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
360
sm_loops3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
451
sm_loops4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
306
sm_loops5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1013
sm_loops6.c
blob
|
blame
|
history
|
raw
-rw-r--r--
778
sm_macros.c
blob
|
blame
|
history
|
raw
-rw-r--r--
611
sm_math1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
467
sm_math2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
276
sm_memleak2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
466
sm_memory.c
blob
|
blame
|
history
|
raw
-rw-r--r--
572
sm_mod.c
blob
|
blame
|
history
|
raw
-rw-r--r--
803
sm_mtag1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
762
sm_mtag2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
666
sm_mtag3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
746
sm_mtag4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
736
sm_mtag5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
529
sm_mtag6.c
blob
|
blame
|
history
|
raw
-rw-r--r--
698
sm_mtag7.c
blob
|
blame
|
history
|
raw
-rw-r--r--
648
sm_netdevice.c
blob
|
blame
|
history
|
raw
-rw-r--r--
904
sm_null_deref.c
blob
|
blame
|
history
|
raw
-rw-r--r--
546
sm_null_deref2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2582
sm_overflow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
566
sm_overflow3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
386
sm_overflow4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
384
sm_overflow5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
727
sm_overflow6.c
blob
|
blame
|
history
|
raw
-rw-r--r--
364
sm_pointer_assign.c
blob
|
blame
|
history
|
raw
-rw-r--r--
913
sm_precedence.c
blob
|
blame
|
history
|
raw
-rw-r--r--
353
sm_range1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
868
sm_range2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1587
sm_range3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
622
sm_range4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
381
sm_range5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
482
sm_range6.c
blob
|
blame
|
history
|
raw
-rw-r--r--
374
sm_real_absolute1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1762
sm_rosenberg.c
blob
|
blame
|
history
|
raw
-rw-r--r--
739
sm_select.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2446
sm_select3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
445
sm_select4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
519
sm_select5.c
blob
|
blame
|
history
|
raw
-rw-r--r--
658
sm_select_assign.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1043
sm_skb.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1270
sm_skb2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
462
sm_skb3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
428
sm_strlen.c
blob
|
blame
|
history
|
raw
-rw-r--r--
672
sm_strlen2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
427
sm_strlen3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
622
sm_struct_assign1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
833
sm_switch.c
blob
|
blame
|
history
|
raw
-rw-r--r--
745
sm_switch2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
588
sm_switch3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
512
sm_user_data1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
549
sm_user_data2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
733
sm_user_data3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
803
sm_user_data4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
310
sm_val_parse1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
464
sm_wine_filehandles.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
96
smatch_db_test.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
1675
specifiers1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6766
specifiers2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
180
static-forward-decl.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1860
static_assert.c
blob
|
blame
|
history
|
raw
-rw-r--r--
385
storage-struct-member.c
blob
|
blame
|
history
|
raw
-rw-r--r--
162
strict-prototypes0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
475
strict-prototypes1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
313
struct-as.c
blob
|
blame
|
history
|
raw
-rw-r--r--
109
struct-attribute-placement.c
blob
|
blame
|
history
|
raw
-rw-r--r--
463
struct-ns1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
473
struct-ns2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
301
struct-size1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
594
switch-long.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1543
tautological-compare.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
13587
test-suite
blob
|
blame
|
history
|
raw
-rw-r--r--
324
transparent-union.c
blob
|
blame
|
history
|
raw
-rw-r--r--
442
type-attribute-align.c
blob
|
blame
|
history
|
raw
-rw-r--r--
747
type-attribute-as.c
blob
|
blame
|
history
|
raw
-rw-r--r--
277
type-attribute-mod.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2154
type-compare.c
blob
|
blame
|
history
|
raw
-rw-r--r--
496
type1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
319
typedef-redef-c89.c
blob
|
blame
|
history
|
raw
-rw-r--r--
398
typedef-redef.c
blob
|
blame
|
history
|
raw
-rw-r--r--
286
typedef_shadow.c
blob
|
blame
|
history
|
raw
-rw-r--r--
388
typediff-arraysize.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1232
typediff-enum.c
blob
|
blame
|
history
|
raw
-rw-r--r--
393
typeof-addresspace.c
blob
|
blame
|
history
|
raw
-rw-r--r--
361
typeof-attribute.c
blob
|
blame
|
history
|
raw
-rw-r--r--
370
typeof-bad.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2396
typeof-mods.c
blob
|
blame
|
history
|
raw
-rw-r--r--
312
typeof-noderef.c
blob
|
blame
|
history
|
raw
-rw-r--r--
809
typeof-safe.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1632
typesign.c
blob
|
blame
|
history
|
raw
-rw-r--r--
385
var-undef-partial.c
blob
|
blame
|
history
|
raw
-rw-r--r--
165
varargs1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
422
vla-sizeof-ice.c
blob
|
blame
|
history
|
raw
-rw-r--r--
428
vla-sizeof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
311
vla-sizeof0.c
blob
|
blame
|
history
|
raw
-rw-r--r--
371
vla-sizeof1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
362
vla-sizeof2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
377
vla-sizeof3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
444
vla-sizeof4.c
blob
|
blame
|
history
|
raw
-rw-r--r--
189
wide.c
blob
|
blame
|
history
|
raw