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
)
add killing of pure calls
[smatch.git]
/
validation
/
tree
c40f3395480d073fa4ddac5ce5a82dc68abc7da0
drwxr-xr-x
..
-rw-r--r--
37
.gitignore
blob
|
blame
|
history
|
raw
-rw-r--r--
235
Wunknown-attribute-def.c
blob
|
blame
|
history
|
raw
-rw-r--r--
203
Wunknown-attribute-no.c
blob
|
blame
|
history
|
raw
-rw-r--r--
290
Wunknown-attribute-yes.c
blob
|
blame
|
history
|
raw
-rw-r--r--
325
__func__.c
blob
|
blame
|
history
|
raw
-rw-r--r--
534
abstract-array-declarator-static.c
blob
|
blame
|
history
|
raw
-rw-r--r--
444
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
-rw-r--r--
889
asm-empty-clobber.c
blob
|
blame
|
history
|
raw
-rw-r--r--
661
asm-goto-lables.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--
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
drwxr-xr-x
-
backend
tree
|
history
-rw-r--r--
367
bad-array-designated-initializer.c
blob
|
blame
|
history
|
raw
-rw-r--r--
224
bad-assignment.c
blob
|
blame
|
history
|
raw
-rw-r--r--
278
bad-cast.c
blob
|
blame
|
history
|
raw
-rw-r--r--
287
bad-ternary-cond.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--
605
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--
68
binary-constant.c
blob
|
blame
|
history
|
raw
-rw-r--r--
308
bitfields.c
blob
|
blame
|
history
|
raw
-rw-r--r--
831
bool-array.c
blob
|
blame
|
history
|
raw
-rw-r--r--
875
bool-cast-bad.c
blob
|
blame
|
history
|
raw
-rw-r--r--
736
bool-cast-explicit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
829
bool-cast-implicit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
591
bswap-constant-folding.c
blob
|
blame
|
history
|
raw
-rw-r--r--
344
bug_inline_switch.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1805
builtin-args-checking.c
blob
|
blame
|
history
|
raw
-rw-r--r--
611
builtin-bswap-constant.c
blob
|
blame
|
history
|
raw
-rw-r--r--
781
builtin-bswap-variable.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--
122
builtin_char_bit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
410
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--
981
c11-alignas.c
blob
|
blame
|
history
|
raw
-rw-r--r--
199
c11-alignof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
195
c11-noreturn.c
blob
|
blame
|
history
|
raw
-rw-r--r--
154
c11-stdc-version.c
blob
|
blame
|
history
|
raw
-rw-r--r--
176
c11-thread-local.c
blob
|
blame
|
history
|
raw
-rw-r--r--
515
c99-for-loop.c
blob
|
blame
|
history
|
raw
-rw-r--r--
785
calling-convention-attributes.c
blob
|
blame
|
history
|
raw
-rw-r--r--
6717
cast-kinds.c
blob
|
blame
|
history
|
raw
-rw-r--r--
629
check_byte_count-ice.c
blob
|
blame
|
history
|
raw
-rw-r--r--
707
choose_expr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
269
comma.c
blob
|
blame
|
history
|
raw
-rw-r--r--
385
compare-null-to-int.c
blob
|
blame
|
history
|
raw
-rw-r--r--
295
compound-assign-type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
494
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--
1960
conditional-type.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4520
context.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--
358
discarded-label-statement.c
blob
|
blame
|
history
|
raw
-rw-r--r--
842
div.c
blob
|
blame
|
history
|
raw
-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--
358
enum-mismatch.c
blob
|
blame
|
history
|
raw
-rw-r--r--
152
enum_scope.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1259
escapes.c
blob
|
blame
|
history
|
raw
-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--
221
field-overlap.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--
137
function-pointer-inheritance.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2637
function-redecl.c
blob
|
blame
|
history
|
raw
-rw-r--r--
304
goto-label.c
blob
|
blame
|
history
|
raw
-rw-r--r--
547
identifier_list.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--
288
init_cstring.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1308
initializer-entry-defined-twice.c
blob
|
blame
|
history
|
raw
-rw-r--r--
203
inline_compound_literals.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1952
int128.c
blob
|
blame
|
history
|
raw
-rw-r--r--
115
integer-promotions.c
blob
|
blame
|
history
|
raw
-rw-r--r--
266
ioc-typecheck.c
blob
|
blame
|
history
|
raw
-rw-r--r--
312
kill-casts.c
blob
|
blame
|
history
|
raw
-rw-r--r--
227
kill-computedgoto.c
blob
|
blame
|
history
|
raw
-rw-r--r--
361
kill-phi-node.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--
220
kill-select.c
blob
|
blame
|
history
|
raw
-rw-r--r--
253
kill-slice.c
blob
|
blame
|
history
|
raw
-rw-r--r--
235
label-asm.c
blob
|
blame
|
history
|
raw
-rw-r--r--
139
label-attr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
252
label-expr.c
blob
|
blame
|
history
|
raw
-rw-r--r--
126
label-scope.c
blob
|
blame
|
history
|
raw
-rw-r--r--
214
local-label.c
blob
|
blame
|
history
|
raw
-rw-r--r--
203
logical.c
blob
|
blame
|
history
|
raw
-rw-r--r--
222
member_of_typeof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
291
memops-volatile.c
blob
|
blame
|
history
|
raw
-rw-r--r--
469
missing-ident.c
blob
|
blame
|
history
|
raw
-rw-r--r--
241
multi_typedef.c
blob
|
blame
|
history
|
raw
-rw-r--r--
813
nested-declarator.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1242
nested-declarator2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5134
nocast.c
blob
|
blame
|
history
|
raw
-rw-r--r--
788
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
drwxr-xr-x
-
optim
tree
|
history
-rw-r--r--
334
outer-scope.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
phase2
tree
|
history
drwxr-xr-x
-
phase3
tree
|
history
-rw-r--r--
73
pragma-once.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
preprocessor
tree
|
history
-rw-r--r--
129
prototype.c
blob
|
blame
|
history
|
raw
-rw-r--r--
2030
ptr-inherit.c
blob
|
blame
|
history
|
raw
-rw-r--r--
219
pure-function.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1913
reserved.c
blob
|
blame
|
history
|
raw
-rw-r--r--
979
restrict-array.c
blob
|
blame
|
history
|
raw
-rw-r--r--
188
restricted-typeof.c
blob
|
blame
|
history
|
raw
-rw-r--r--
331
sizeof-bool.c
blob
|
blame
|
history
|
raw
-rw-r--r--
150
sizeof-compound-postfix.c
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--
226
static-forward-decl.c
blob
|
blame
|
history
|
raw
-rw-r--r--
306
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--
1543
tautological-compare.c
blob
|
blame
|
history
|
raw
-rw-r--r--
577
test-be.c
blob
|
blame
|
history
|
raw
-rwxr-xr-x
8278
test-suite
blob
|
blame
|
history
|
raw
-rw-r--r--
161
testsuite-selfcheck1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
153
testsuite-selfcheck2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
153
testsuite-selfcheck3.c
blob
|
blame
|
history
|
raw
-rw-r--r--
324
transparent-union.c
blob
|
blame
|
history
|
raw
-rw-r--r--
496
type1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
234
typedef_shadow.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--
1901
typeof-mods.c
blob
|
blame
|
history
|
raw
-rw-r--r--
312
typeof-noderef.c
blob
|
blame
|
history
|
raw
-rw-r--r--
373
typeof-safe.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1632
typesign.c
blob
|
blame
|
history
|
raw
-rw-r--r--
165
varargs1.c
blob
|
blame
|
history
|
raw
-rw-r--r--
189
wide.c
blob
|
blame
|
history
|
raw