Toggle navigation
Patchwork
Linux Sparse mailing list
Patches
Bundles
About this project
Login
Register
Mail settings
Show patches with
: none
| 4108 patches
Series
Submitter
State
any
Action Required
New
Under Review
Accepted
Rejected
RFC
Not Applicable
Changes Requested
Awaiting Upstream
Superseded
Deferred
Mainlined
Queued
Needs ACK
Handled Elsewhere
In Next
Search
Archived
No
Yes
Both
Delegate
------
Nobody
holtmann
holtmann
holtmann
agk
mchehab
mchehab
gregkh
gregkh
mtosatti
lethal
lethal
avi
cvaroqui
jbrassow
mikulas
dtor
bmarzins
tmlind
jmberg
jmberg
mcgrof
mcgrof
mcgrof
lenb
lenb
kyle
felipebalbi
varenet
helge
helge
khilman
khilman
khilman
khilman
jwoithe
mlin
Zhang Rui
Zhang Rui
iksaif
cjackiewicz
hmh
jbarnes
jbarnes
jbarnes
willy
snitzer
iwamatsu
dougsland
mjg59
rafael
rafael
rafael
ericvh@gmail.com
ykzhao
venkip
sandeen
pwsan
lucho@ionkov.net
rminnich
anholt
aystarik
roland
shefty
mason
glikely
krh
djbw
djbw
djbw
cmarinas
doyu
jrn
sage
tomba
mmarek
cjb
trondmy
jikos
bcousson
jic23
olof
olof
olof
nsekhar
weiny2
horms
horms
bwidawsk
bwidawsk
shemminger
eulfhan
josef
josef
josef
dianders
jpan9
hal
kdave
bleung
evalenti
jlbec
wsa
bhelgaas
vkoul
vkoul
szlin
davejiang
markgross
tagr
tiwai
vireshk
mmind
dledford
geert
geert
herbert
herbert
kvalo
kvalo
kvalo
bentiss
arend
rzwisler
stellarhopper
stellarhopper
jejb
matthias_bgg
dvhart
axboe
axboe
pcmoore
pcmoore
pcmoore
mkp
mkp
stefan_schmidt
leon
lucvoo
jsakkine
jsakkine
jsakkine
bamse
bamse
demarchi
krzk
groeck
groeck
sboyd
sboyd
mturquette
mturquette
0andriy
carlocaione
luca
dgc
kbingham
derosier
narmstrong
narmstrong
atull
tytso
tytso
djwong
bvanassche
omos
jpirko
jpirko
GustavoARSilva
pkshih
patersonc
brauner
shuahkh
shuahkh
shuahkh
palmer
palmer
jgg
Kishon
idosch
labbott
jsimmons
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
lfadmin
broonie
broonie
broonie
mricon
mricon
mricon
kees
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
lfgitoliteapi
arnd
linusw
perfinion
bbrezillon
bachradsusi
rostedt
rostedt
kholk
nbd
ebiggers
ebiggers
pavelm
sds
m0reeze
ganis
jwcart2
matttbe
andmur01
lorpie01
chanwoochoi
dlezcano
jhedberg
vudentz
robertfoss
bgix
tedd_an
tsbogend
wens
wcrobert
robher
kstewart
kwilczynski
hansg
bpf
netdev
dsa
ethtool
netdrv
martineau
abelloni
trix
pabeni
mani_sadhasivam
mlimonci
liusong6
mjp
tohojo
pmalani
prestwoj
prestwoj
dhowells
tzungbi
conchuod
paulmck
jes
mtkaczyk
colyli
cem
pateldipen1984
iweiny
iweiny
bjorn
mhiramat
JanKiszka
jaegeuk
mraynal
aring
konradybcio
ij
Hailan
jstitt007
denkenz
denkenz
mkorenbl
jjohnson
frank_li
geliang
mdraidci
mdraidci
peluse
joelgranados
Apply
«
1
2
3
4
…
41
42
»
Patch
Series
A/R/T
S/W/F
Date
Submitter
Delegate
State
[v12,4/9] drm/i915/gem: Typecheck page lookups
Fixes integer overflow or integer truncation issues in page lookups, ttm place configuration and sc…
- 3 -
-
-
-
2022-09-26
Gwan-gyeong Mun
Not Applicable
[v12,3/9] overflow: Introduce overflows_type() and __castable_to_type()
Fixes integer overflow or integer truncation issues in page lookups, ttm place configuration and sc…
- - -
-
-
-
2022-09-26
Gwan-gyeong Mun
Not Applicable
[v12,2/9] overflow: Introduce check_assign() and check_assign_user_ptr()
Fixes integer overflow or integer truncation issues in page lookups, ttm place configuration and sc…
1 2 -
-
-
-
2022-09-26
Gwan-gyeong Mun
Not Applicable
[v12,1/9] overflow: Allow mixed type arguments
Fixes integer overflow or integer truncation issues in page lookups, ttm place configuration and sc…
- 2 1
-
-
-
2022-09-26
Gwan-gyeong Mun
Not Applicable
[v11.5] overflow: Introduce overflows_type() and __castable_to_type()
[v11.5] overflow: Introduce overflows_type() and __castable_to_type()
- - -
-
-
-
2022-09-26
Kees Cook
Not Applicable
RISC-V: Add support fo the zihintpause extension
RISC-V: Add support fo the zihintpause extension
- - 2
-
-
-
2022-08-11
Palmer Dabbelt
Accepted
RISC-V: Add support fo the zihintpause extension
RISC-V: Add support fo the zihintpause extension
- - -
-
-
-
2022-08-11
Palmer Dabbelt
Accepted
RISC-V: Add support for the zicbom extension
RISC-V: Add support for the zicbom extension
- - 2
-
-
-
2022-08-11
Palmer Dabbelt
Accepted
[RFC,2/2] kref: move kref_put_lock() callback to caller
refcount: attempt to avoid imbalance warnings
- - -
-
-
-
2022-06-30
Alexander Aring
Not Applicable
[RFC,1/2] refcount: add __cond_lock() for conditional lock refcount API
refcount: attempt to avoid imbalance warnings
- - -
-
-
-
2022-06-30
Alexander Aring
Not Applicable
[5/5] bitwise: early expansion of simple constants
allow -1 and compares in bitwise types
- - -
-
-
-
2022-06-27
Luc Van Oostenryck
New
[4/5] bitwise: do not remove the signedness of bitwise types
allow -1 and compares in bitwise types
- - -
-
-
-
2022-06-27
Luc Van Oostenryck
New
[3/5] bitwise: allow compares for bitwise types
allow -1 and compares in bitwise types
- - -
-
-
-
2022-06-27
Luc Van Oostenryck
New
[2/5] bitwise: accept all ones as non-restricted value
allow -1 and compares in bitwise types
- - -
-
-
-
2022-06-27
Luc Van Oostenryck
New
[1/5] bitwise: add testcases
allow -1 and compares in bitwise types
- - -
-
-
-
2022-06-27
Luc Van Oostenryck
New
[6/6] inline: free symbol list after use
cleanup related to inlining of variadic functions
- - -
-
-
-
2022-06-26
Luc Van Oostenryck
Mainlined
[5/6] inline: allocate statement after guards
cleanup related to inlining of variadic functions
- - -
-
-
-
2022-06-26
Luc Van Oostenryck
Mainlined
[4/6] inline: avoid needless intermediate vars
cleanup related to inlining of variadic functions
- - -
-
-
-
2022-06-26
Luc Van Oostenryck
Mainlined
[3/6] inline: declaration of the variadic vars is useless
cleanup related to inlining of variadic functions
- - -
-
-
-
2022-06-26
Luc Van Oostenryck
Mainlined
[2/6] inline: comment about creating node of node on variadics
cleanup related to inlining of variadic functions
- - -
-
-
-
2022-06-26
Luc Van Oostenryck
Mainlined
[1/6] inline: add testcases for inlining of variadics
cleanup related to inlining of variadic functions
- - -
-
-
-
2022-06-26
Luc Van Oostenryck
Mainlined
inline: avoid node of node on variadics
inline: avoid node of node on variadics
- - -
-
-
-
2022-06-25
Luc Van Oostenryck
Superseded
fix "unreplaced" warnings caused by using typeof() on inline functions
fix "unreplaced" warnings caused by using typeof() on inline functions
- - -
-
-
-
2022-06-24
Luc Van Oostenryck
Mainlined
predefine __ATOMIC_ACQUIRE & friends as weak
predefine __ATOMIC_ACQUIRE & friends as weak
- - -
-
-
-
2022-06-14
Luc Van Oostenryck
Mainlined
allow show_token() on TOKEN_ZERO_IDENT
allow show_token() on TOKEN_ZERO_IDENT
- - -
-
-
-
2022-06-07
Luc Van Oostenryck
Mainlined
fix crash when inlining casts of erroneous expressions
fix crash when inlining casts of erroneous expressions
- - -
-
-
-
2022-06-07
Luc Van Oostenryck
Mainlined
cgcc: do not die on '-x assembler'
cgcc: do not die on '-x assembler'
- - -
-
-
-
2022-06-06
Luc Van Oostenryck
Mainlined
[2/2] cast_value: remove error-prone redundant argument
improve cast_value()
- - -
-
-
-
2022-05-31
Luc Van Oostenryck
Mainlined
[1/2] cast_value: assign the new type
improve cast_value()
- - -
-
-
-
2022-05-31
Luc Van Oostenryck
Mainlined
fix zero/sign extension of integer character constants
fix zero/sign extension of integer character constants
- - -
-
-
-
2022-05-22
Luc Van Oostenryck
Mainlined
handle clang's option "-meabi gnu"
handle clang's option "-meabi gnu"
- - 1
-
-
-
2022-05-22
Luc Van Oostenryck
Mainlined
fix one year off in v0.6.4's release notes
fix one year off in v0.6.4's release notes
- - -
-
-
-
2022-05-21
Luc Van Oostenryck
Mainlined
fix infinite loop when expanding __builtin_object_size() with self-init vars
fix infinite loop when expanding __builtin_object_size() with self-init vars
- - -
-
-
-
2022-05-21
Luc Van Oostenryck
Mainlined
cgcc: add Xtensa support
cgcc: add Xtensa support
- - -
-
-
-
2022-04-20
Guennadi Liakhovetski
Mainlined
cgcc: handle -x assembler
cgcc: handle -x assembler
- - -
-
-
-
2022-04-10
Tom Rix
Superseded
[v1,6/6] RISC-V: Add the Zifencei extension
RISC-V -march handling improvements
- - -
-
-
-
2022-04-02
Palmer Dabbelt
Mainlined
[v1,5/6] RISC-V: Add the Zicsr extension
RISC-V -march handling improvements
- - -
-
-
-
2022-04-02
Palmer Dabbelt
Mainlined
[v1,4/6] RISC-V: Remove "g" from the extension list
RISC-V -march handling improvements
- - -
-
-
-
2022-04-02
Palmer Dabbelt
Mainlined
[v1,3/6] RISC-V: Remove the unimplemented ISA extensions
RISC-V -march handling improvements
- - -
-
-
-
2022-04-02
Palmer Dabbelt
Mainlined
[v1,2/6] RISC-V: Match GCC's semantics for multiple -march instances
RISC-V -march handling improvements
- - -
-
-
-
2022-04-02
Palmer Dabbelt
Mainlined
[v1,1/6] RISC-V: Respect -Wsparse-error for -march errors
RISC-V -march handling improvements
- - -
-
-
-
2022-04-02
Palmer Dabbelt
Mainlined
[v3,2/2] Documentation: dev-tools: Enhance static analysis section with discussion
Add a section for static analysis tools
1 - -
-
-
-
2022-03-30
Marcelo Schmitt
Not Applicable
[v3,1/2] Documentation: dev-tools: Add a section for static analysis tools
Add a section for static analysis tools
3 2 -
-
-
-
2022-03-30
Marcelo Schmitt
Not Applicable
[v2,2/2] Documentation: dev-tools: Enhance static analysis section with discussion
Add a section for static analysis tools
1 - -
-
-
-
2022-03-29
Marcelo Schmitt
Not Applicable
[v2,1/2] Documentation: dev-tools: Add a section for static analysis tools
Add a section for static analysis tools
3 3 -
-
-
-
2022-03-29
Marcelo Schmitt
Not Applicable
Documentation: dev-tools: Add a section for static analysis tools
Documentation: dev-tools: Add a section for static analysis tools
2 2 -
-
-
-
2022-03-28
Marcelo Schmitt
Not Applicable
[v3] x86/bug: __WARN_FLAGS: prevent shadowing by renaming local variable f to __flags
[v3] x86/bug: __WARN_FLAGS: prevent shadowing by renaming local variable f to __flags
1 1 -
-
-
-
2022-03-24
Vincent Mailhol
Not Applicable
sparse: Use offsetof macro to silence null ptr subtraction warning
sparse: Use offsetof macro to silence null ptr subtraction warning
- - -
-
-
-
2022-03-21
Richard Palethorpe
Mainlined
x86: bug.h: merge annotate_reachable into _BUG_FLAGS for __WARN_FLAGS
x86: bug.h: merge annotate_reachable into _BUG_FLAGS for __WARN_FLAGS
- - -
-
-
-
2022-02-02
Nick Desaulniers
Not Applicable
objtool: prefer memory clobber & %= to volatile & __COUNTER__
objtool: prefer memory clobber & %= to volatile & __COUNTER__
1 - 1
-
-
-
2022-01-14
Nick Desaulniers
Not Applicable
sparse: only warn about directly nested flexible arrays
sparse: only warn about directly nested flexible arrays
- - -
-
-
-
2022-01-11
Jacob Keller
Rejected
[3/3] dissect: Show typedefs
semind: Index more symbols
- - -
-
-
-
2021-11-02
Alexey Gladkov
Mainlined
[2/3] dissect: Show macro definitions
semind: Index more symbols
- - -
-
-
-
2021-11-02
Alexey Gladkov
Mainlined
[1/3] dissect: Allow to show all symbols
semind: Index more symbols
- - -
-
-
-
2021-11-02
Alexey Gladkov
Mainlined
[2/2] parse: warn about a 'case label' on empty statement
[1/2] sparse: fix broken 'memcpy-max-count' check
- - -
-
-
-
2021-09-27
Ramsay Jones
Mainlined
[1/2] sparse: fix broken 'memcpy-max-count' check
[1/2] sparse: fix broken 'memcpy-max-count' check
- - -
-
-
-
2021-09-27
Ramsay Jones
Mainlined
[v2,4/4] alpha: Use absolute_pointer to define COMMAND_LINE
Introduce and use absolute_pointer macro
- - -
-
-
-
2021-09-15
Guenter Roeck
Not Applicable
[v2,3/4] alpha: Move setup.h out of uapi
Introduce and use absolute_pointer macro
- - -
-
-
-
2021-09-15
Guenter Roeck
Not Applicable
[v2,2/4] net: i825xx: Use absolute_pointer for memcpy from fixed memory location
Introduce and use absolute_pointer macro
- 1 -
-
-
-
2021-09-15
Guenter Roeck
Not Applicable
[v2,1/4] compiler.h: Introduce absolute_pointer macro
Introduce and use absolute_pointer macro
- 1 -
-
-
-
2021-09-15
Guenter Roeck
Not Applicable
[4/4] alpha: Use absolute_pointer for strcmp on fixed memory location
Introduce and use absolute_pointer macro
- - -
-
-
-
2021-09-12
Guenter Roeck
Not Applicable
[3/4] parisc: Use absolute_pointer for memcmp on fixed memory location
Introduce and use absolute_pointer macro
- - -
-
-
-
2021-09-12
Guenter Roeck
Not Applicable
[2/4] net: i825xx: Use absolute_pointer for memcpy on fixed memory location
Introduce and use absolute_pointer macro
- - -
-
-
-
2021-09-12
Guenter Roeck
Not Applicable
[1/4] compiler.h: Introduce absolute_pointer macro
Introduce and use absolute_pointer macro
- - -
-
-
-
2021-09-12
Guenter Roeck
Not Applicable
sparse v0.6.4
sparse v0.6.4
- - -
-
-
-
2021-09-06
Ramsay Jones
Mainlined
[2/2] make implicit type conversion explicit
fixes for using sparse as a C++ library
- 1 -
-
-
-
2021-08-13
Ke Du
Deferred
[1/2] expose more functions to C++ in header files
fixes for using sparse as a C++ library
- 1 -
-
-
-
2021-08-13
Ke Du
Deferred
[5/5] scheck: fix type of operands in casts
small fixes for the symbolic checker
- - -
-
-
-
2021-07-29
Luc Van Oostenryck
Mainlined
[4/5] scheck: mkvar() with target or input type
small fixes for the symbolic checker
- - -
-
-
-
2021-07-29
Luc Van Oostenryck
Mainlined
[3/5] scheck: constants are untyped
small fixes for the symbolic checker
- - -
-
-
-
2021-07-29
Luc Van Oostenryck
Mainlined
[2/5] scheck: ignore OP_NOP & friends
small fixes for the symbolic checker
- - -
-
-
-
2021-07-29
Luc Van Oostenryck
Mainlined
[1/5] scheck: better diagnostic for unsupported instructions
small fixes for the symbolic checker
- - -
-
-
-
2021-07-29
Luc Van Oostenryck
Mainlined
fix missing itype in SEL(x, 0/1, 1/0) --> (x ==/!= 0)
fix missing itype in SEL(x, 0/1, 1/0) --> (x ==/!= 0)
- - -
-
-
-
2021-07-29
Luc Van Oostenryck
Mainlined
TRUNC(x) {==,!=} C --> AND(x,M) {==,!=} C
TRUNC(x) {==,!=} C --> AND(x,M) {==,!=} C
- - -
-
-
-
2021-04-18
Luc Van Oostenryck
Mainlined
canonicalize ((x & M) == M) --> ((x & M) != 0) when M is a power-of-2
canonicalize ((x & M) == M) --> ((x & M) != 0) when M is a power-of-2
- - -
-
-
-
2021-04-18
Luc Van Oostenryck
Mainlined
[SPARSE,4/4] simplify AND(x >= 0, x < C) --> (unsigned)x < C
fix/improve canonicalization of signed compares
- - -
-
-
-
2021-04-18
Luc Van Oostenryck
Mainlined
[SPARSE,3/4] add helper is_positive()
fix/improve canonicalization of signed compares
- - -
-
-
-
2021-04-18
Luc Van Oostenryck
Mainlined
[SPARSE,2/4] add testcases for AND(x > 0, x <= C) --> x u<= C
fix/improve canonicalization of signed compares
- - -
-
-
-
2021-04-18
Luc Van Oostenryck
Mainlined
[SPARSE,1/4] canonicalize constant signed compares toward zero
fix/improve canonicalization of signed compares
- - -
-
-
-
2021-04-18
Luc Van Oostenryck
Mainlined
[3/3] remove early simplification of casts during evaluation
remove early simplification of casts during evaluation
- - -
-
-
-
2021-04-18
Luc Van Oostenryck
Mainlined
[2/3] simplify TRUNC(NOT(x)) --> NOT(TRUNC(x))
remove early simplification of casts during evaluation
- - -
-
-
-
2021-04-18
Luc Van Oostenryck
Mainlined
[1/3] add testcases for simplification of casts.
remove early simplification of casts during evaluation
- - -
-
-
-
2021-04-18
Luc Van Oostenryck
Mainlined
no needs to use MARK_CURRENT_DELETED() for multi-jumps
no needs to use MARK_CURRENT_DELETED() for multi-jumps
- - -
-
-
-
2021-04-17
Luc Van Oostenryck
Mainlined
[v2,8/8] scheck: support pre-conditions via __assume()
scheck: add a symbolic checker
- - -
-
-
-
2021-04-12
Luc Van Oostenryck
Mainlined
[v2,7/8] scheck: assert_const()
scheck: add a symbolic checker
- - -
-
-
-
2021-04-12
Luc Van Oostenryck
Mainlined
[v2,6/8] scheck: allow multiple assertions
scheck: add a symbolic checker
- - -
-
-
-
2021-04-12
Luc Van Oostenryck
Mainlined
[v2,5/8] scheck: assert_eq()
scheck: add a symbolic checker
- - -
-
-
-
2021-04-12
Luc Van Oostenryck
Mainlined
[v2,4/8] scheck: add a symbolic checker
scheck: add a symbolic checker
- - -
-
-
-
2021-04-12
Luc Van Oostenryck
Mainlined
[v2,3/8] .gitignore is a bit too greedy
scheck: add a symbolic checker
- - -
-
-
-
2021-04-12
Luc Van Oostenryck
Mainlined
[v2,2/8] builtin: define a symbol_op for a generic op acting on integer
scheck: add a symbolic checker
- - -
-
-
-
2021-04-12
Luc Van Oostenryck
Mainlined
[v2,1/8] export declare_builtins()
scheck: add a symbolic checker
- - -
-
-
-
2021-04-12
Luc Van Oostenryck
Mainlined
[5/5] kill redundant stores (local)
kill more dead stores
- - -
-
-
-
2021-04-10
Luc Van Oostenryck
Mainlined
[4/5] kill parent's dead stores too
kill more dead stores
- - -
-
-
-
2021-04-10
Luc Van Oostenryck
Mainlined
[3/5] volatile stores are never dead
kill more dead stores
- - -
-
-
-
2021-04-10
Luc Van Oostenryck
Mainlined
[2/5] extract try_to_kill_store() from kill_dominated_stores()
kill more dead stores
- - -
-
-
-
2021-04-10
Luc Van Oostenryck
Mainlined
[1/5] add testcases for stores simplifications
kill more dead stores
- - -
-
-
-
2021-04-10
Luc Van Oostenryck
Mainlined
add some notes about pseudos being typeless
add some notes about pseudos being typeless
- - -
-
-
-
2021-04-10
Luc Van Oostenryck
Mainlined
linear: only allocate call instructions when needed
linear: only allocate call instructions when needed
- - -
-
-
-
2021-04-10
Luc Van Oostenryck
Mainlined
[8/8] scheck: support pre-conditions via __assume()
scheck: add a symbolic checker for sparse
- - -
-
-
-
2021-04-10
Luc Van Oostenryck
Superseded
[7/8] scheck: assert_const()
scheck: add a symbolic checker for sparse
- - -
-
-
-
2021-04-10
Luc Van Oostenryck
Superseded
«
1
2
3
4
…
41
42
»