repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
check_kernel: handle fls()
2018-02-21
Dan Carpenter
che
c
k_kern
e
l: handle f
l
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
extra: tig
h
t parameter values a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
extra: handle
"if (foo
&
0
x1) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
extra: don't
s
et tru
e
/fal
s
e states
if it's the same
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Car
p
enter
implied: us
e
assum
e
(
) eve
n
i
f
th
e
r
e ar
e
no im
p
l
ications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
D
a
n Car
p
enter
math:
s
ilence har
d
m
ax false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
slist: don't pass
stuff
t
o pre_merge
_
hoo
k
s that isn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
m
t
ag: kill
a
n endl
e
ss loop in u
p
c
o
ming code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpenter
call
_
ma
t
h: i
n
i
tialize
s
ome str
i
ngs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-21
Dan Carpente
r
fn_
a
r
g_link: fix
a
n endle
s
s
loop
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-20
Dan Carpenter
db: fix a segfault parsin
g
invalid c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-19
Dan Car
p
e
nter
c
o
m
parison: improve h
a
ndli
n
g of "if (foo + 1 > limit) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Da
n
C
a
rpenter
db/compa
r
ison:
U
s
e
mas
k
i
nformation to
get compari
s
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpen
t
e
r
c
om
p
ar
i
son: handle
__smatch_compare(foo, bar -
1)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
Dan Carpenter
extra: cleanup han
d
le_AND_op
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-16
D
a
n
Ca
r
penter
extra: clea
n
up handling "if (
f
oo & 0x1) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
Da
n
Car
p
enter
user_
d
ata: silence some false
positive
s
with divides
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
Dan
C
arpenter
user_data
2
: silence some false po
s
itives
h
andling ntoh
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-13
Dan Ca
r
pe
n
ter
conditio
n
s: hack ar
o
und "if
(f
o
o | ba
r
) {" (bi
t
w
ise OR)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-02-09
D
a
n Carpenter
d
a
ta/kern
e
l
.
i
g
n
o
re_macro_inde
n
t
i
ng: ignore tcp_
s
kb_tso
r
ted_r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
db/smdb
.
py: change s
o
m
e
formatting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
d
b/smdb
.
p
y: fix the
P
ARAM_COM
P
ARE/LIMIT types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n Carpenter
rosenberg:
fix a cra
s
hing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n Carpenter
user_data2
:
do a ha
c
k around in
the p
r
e_merge_hook(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
D
a
n
Ca
r
penter
constraint
s
: handle c
o
n
ditions like "if (8 <
x
)
{"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
expr_to_chunk_helper:
s
et *sym
when there
is
only one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carp
e
nter
slist: allow
s
how_sm() to accep
t
NULL poin
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
f
l
ow:
don
'
t fake an impossible default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpent
e
r
type_val:
r
ecord f
e
wer "unkno
w
n" a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
flow: set loop_count
to zero when pa
r
s
i
ng inlin
e
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-25
Dan Carpenter
core: sile
n
ce
s
ome f
a
lse positive
s
fr
o
m
p
arsing in
v
alid
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan Carpenter
i
m
plied: use
a
time based timeout instea
d
of c
o
unting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-19
Dan Car
p
enter
extr
a
: hand
l
e lo
o
ps like: wh
i
le
(
--i
>
= 0) {
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
Dan Carpenter
fun
c
tion_hooks: fak
e
an assignme
n
t
w
hen
f
unctions return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-18
Dan Ca
r
penter
check_
f
re
e
_
strict: New stricter
c
ross function
us
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan
Carpen
t
er
check_ato
m
ic_inc_
d
ec: track
atomic_inc() a
n
d
atomic_dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
Dan Carpenter
assigne
d
_expr: handle
fake
a
s
s
i
g
n
men
t
s
bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-17
D
a
n
C
a
r
penter
assigned_expr
:
r
e
move debug
c
od
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Da
n
Carpenter
ker
n
e
l
_printf: %px
is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-16
Dan Carpenter
str
e
e: debuggi
n
g:
p
rint the number of states
i
n __prin
t
_
s
t
ree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
Dan Carpenter
mtag:
commit
a
l
l mt
a
g
r
e
l
a
ted code to
da
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
D
an Carpenter
s
m
db
.
py: fix some crashing bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
D
an Car
p
enter
container_of: han
d
le
function calls li
k
e foo->bar(foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-12
D
an
C
a
r
p
en
t
er
smatc
h
: get th
e
sma
t
c
h
bin dir cor
r
e
c
t
ly
w
h
en it's
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
rpenter
user_da
t
a2: empty sta
t
e
s are not user dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
constraints_required: improve handling of assigned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Da
n
Carpent
e
r
db: d
o
n't sp
l
it
by NULL vs non-
N
ULL when there a
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan
Carpen
t
er
flow: store a backup of th
e
start time when parsing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpenter
h
elpe
r
:
c
ha
n
ge
s
ome nons
e
nse values
t
o other
n
o
nsense
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan C
a
rpent
e
r
DB:
i
ntroduce a timeout h
a
ndling
c
aller i
n
fo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpent
e
r
addre
s
s:
f
ix handling o
f
&foo->bar
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
a
n
C
a
r
pente
r
cont
s
tra
i
nts: use caller i
n
fo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Carpent
e
r
constraints: mo
v
e prin
t
_ret
u
r
n_
i
mpl
i
es_const
r
a
ine
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
D
an C
a
rpenter
constr
a
ints: cleanup unmet_co
n
str
a
int()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-11
Dan Ca
r
penter
constraints:
f
ix
a
dd_cons
t
raint()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-09
Dan Car
p
ent
e
r
mtag: introduce cre
a
te
_
mtag_alias()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Dan
Carpente
r
mta
g
: fix get
_
mtag() for recorded states a
n
d for arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
D
a
n Ca
r
penter
l
inks: n
o
need to record l
i
nks outside
a
function
c
all
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Da
n
Carpenter
type_val: c
a
che DB
i
n
fo as a spe
e
d up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-01-08
Da
n
C
a
rpenter
s
t
ring_list: pre
v
e
nt a use a
f
t
e
r
free
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-14
Dan Carp
e
n
ter
mtag: rename from
m
ta
g
s
p
lural to m
t
ag singular
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Da
n
C
a
rpenter
h
e
lper: k
e
ep a small
cache of recentl
y
used variable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpe
n
ter
extra: pas
s
expression pointer to
mod/nomod hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carp
e
nter
e
x
tra:
w
r
ite in
f
ras
t
ructure to pa
s
s expr to no_m
o
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Car
p
en
t
er
db/build
_
e
a
rly_index
.
sh: set up
m
ore mtag indexe
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan C
a
rpe
n
te
r
exp
r
e
ssions: i
n
i
tia
l
ize
-
>
me
m
be
r
_offset() in
m
e
m
b
e
r_expr
e
ssio
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
an Ca
r
pen
t
er
function_
h
ooks: set
path i
m
possible if we cull e
v
erything
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
an Carp
e
nter
m
t
ags: remove the
& p
r
e-op
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpent
e
r
scripts/gen
_
alloca
t
ion_
l
ist
.
sh:
a
dd __
a
llo
c
_skb()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan Carpent
e
r
db/fixup_ke
r
nel
.
sh: sn
p
rintf() returns aren't
r
e
ally
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
D
a
n C
a
rp
e
nt
e
r
extra:
p
ass t
h
e mo
d
ified e
x
pression to extra_mod_hooks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arpenter
extra:
store v
a
l
u
e
s f
o
r expressions like "foo[3]
.
bar"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-07
Dan
C
arpen
t
e
r
address: don
'
t segfault parsing inv
a
lid co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Carp
e
nter
ignore: re-write and
a
dd _expr() versions of
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
D
an Carpenter
param_set/f
i
l
te
r
: PAR
A
M_SET
i
nste
a
d of
P
ARA
M
_ADD
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan
C
a
rpenter
pa
r
se_call_math: use assigned values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Ca
r
p
e
nt
e
r
sval: improv
e
sval_binop_overf
l
o
w
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
C
a
rpenter
extra: don't modify c
o
n
st para
m
eters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
Carpenter
address/type: m
a
k
e
some fu
n
c
t
ion param
e
ters
co
n
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
C
arpenter
str
u
ct_assignment: remo
v
e an
d
uplicate NULL che
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Da
n
Carpen
t
er
struct_ass
i
gnment: don't double p
a
rse ul
o
ng assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-06
Dan Car
p
ent
e
r
struct_assignmen
t
: fix a N
U
LL derefe
r
ence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpenter
db/mtags
:
add mtag_data and
m
tag_m
a
p ta
b
les
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Car
p
ent
e
r
db/fn
_
ptr_data_li
n
k: don't store duplicate record
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpente
r
d
b
: allow
SQL s
t
atem
e
nts
to be run late
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Da
n
Carpenter
d
b
:
i
n
t
ro
d
uce get_mtag_name_ex
p
r
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carp
e
nter
s
t
ruct_a
s
sig
n
ment: handle non struct, pointer
as
s
ignments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
Dan Carpent
e
r
struct_assign
m
ent: fi
x
handling
o
f
non_s
t
ruct_as
s
ignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-12-04
D
an Carpe
n
te
r
str
u
c
t
_assignment:
s
plit handle_non_struct_as
s
igments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan
Carpenter
i
n
dex_
o
v
erflow: make all message
s
"error:" instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan Carpenter
index
_
overfl
o
w: small cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-24
Dan Car
p
enter
index_over
f
low: don
'
t warn abou
t
impossib
l
e paths
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpenter
mtag: i
n
tro
d
uc
e
memory tags
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-22
Dan Carpenter
implications: se
t
_state()
s
h
o
u
l
d trump
implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-21
Da
n
Carpenter
b
u
f_compa
r
i
s
on: copy the code from smatch_constr
a
in
t
s
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-15
Dan Carpente
r
implied: impr
o
ve
t
he
"
too hairy" message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-14
Dan Carpenter
comparison: store the expr
e
ssions
inv
o
lved (if it's
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-14
Da
n
Carpenter
c
ompar
i
s
o
n: renam
e
var1 to
l
e
ft_var and var2 to right_var
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
Da
n
C
a
rpe
n
ter
constraints_required:
d
etect a bunch
of
n
e
w types of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-11-13
Dan
C
a
rpen
t
er
cons
t
raints: allow function constraints
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next