ConstraintAnalysis: Fix missing overflow checks in x++ - #9037

Merged

kripken merged 119 commits into

WebAssembly:mainfrom

kripken:c.add.overf

Aug 25, 2026

Commits on Jul 10, 2026

fuzzz
kripken
committed
adec816
fuzzz
kripken
committed
14e19d9
Merge remote-tracking branch 'origin/main' into fuzz.constraint
kripken
committed
46003bd
undo
kripken
committed
7ea0ffd

Commits on Jul 14, 2026

Merge remote-tracking branch 'origin/main' into fuzz.constraint
kripken
committed
ddd4edb
update
kripken
committed
e0276db

Commits on Jul 15, 2026

moar
kripken
committed
c5deeeb

Commits on Jul 30, 2026

Merge remote-tracking branch 'origin/main' into fuzz.constraint
kripken
committed
c3434b5

Commits on Jul 31, 2026

Merge remote-tracking branch 'origin/main' into fuzz.constraint
kripken
committed
ed44408
work
kripken
committed
e83c054
work
kripken
committed
192d924

Commits on Aug 7, 2026

less
kripken
committed
3096b52

Commits on Aug 12, 2026

Merge remote-tracking branch 'origin/main' into fuzz.constraint
kripken
committed
2ef5df7
fix
kripken
committed
df548b9

Commits on Aug 14, 2026

Merge remote-tracking branch 'origin/main' into fuzz.constraint
kripken
committed
ff3b15a
finish
kripken
committed
cfc644f
work
kripken
committed
9cdfcbe

Commits on Aug 17, 2026

Merge remote-tracking branch 'origin/main' into fuzz.constraint
kripken
committed
e880306
move
kripken
committed
433559a
update
kripken
committed
e083272
PR number
kripken
committed
1af77da
issue
kripken
committed
abd5148
test
kripken
committed
8b1e33f

Commits on Aug 18, 2026

go
kripken
committed
c66b1bd
go
kripken
committed
b74ca8e
work
kripken
committed
01d20c4
work
kripken
committed
71a0a25
work
kripken
committed
553a481
work
kripken
committed
df402c9
changes so far
kripken
committed
19fc708
format
kripken
committed
b645fab

Commits on Aug 19, 2026

rename
kripken
committed
b3184ed
format
kripken
committed
c317fb8
builds
kripken
committed
8763274
work
kripken
committed
0e49329
work
kripken
committed
4bfa032
work
kripken
committed
af0bc97
work
kripken
committed
32cc04b
work
kripken
committed
3b59e5d
testt
kripken
committed
69a97de
work
kripken
committed
424c1ab
changes
kripken
committed
c05fba8
work
kripken
committed
b5ea854
work
kripken
committed
7048dd2
work
kripken
committed
9e42b9d
Merge remote-tracking branch 'origin/main' into fuzz.constraint
kripken
committed
3677bd8
Merge remote-tracking branch 'myself/fuzz.constraint' into fuzz.constraint
kripken
committed
06f2c48
work
kripken
committed
d80eae5
work
kripken
committed
2960da7
:Merge branch 'i65_span.use' into c.add.overf
kripken
committed
e7db8d7
work
kripken
committed
1443d26
work
kripken
committed
d6c1a3c
work
kripken
committed
c494247
work
kripken
committed
dd60469
work
kripken
committed
195d786
work
kripken
committed
0a0c003
work
kripken
committed
afb3935
work
kripken
committed
2530b8b
work
kripken
committed
ed93ddf
work
kripken
committed
00a6dcc
work
kripken
committed
6f45275
feedback
kripken
committed
2188b37
format
kripken
committed
073fbaf

Commits on Aug 20, 2026

Merge remote-tracking branch 'myself/i65_span' into i65_span.use
kripken
committed
ddf2108
Merge remote-tracking branch 'origin/main' into i65_span.use
kripken
committed
39b22d6
todos
kripken
committed
e14eaf0
Merge remote-tracking branch 'myself/i65_span.use' into c.add.overf
kripken
committed
d3a71ea
fix
kripken
committed
d332f0f
merg
kripken
committed
5faa478
fix
kripken
committed
818b9c5
fix
kripken
committed
e8bec8c
braces
kripken
committed
2f06af4
Merge remote-tracking branch 'myself/i65_span.use' into c.add.overf
kripken
committed
d73cf00
Merge remote-tracking branch 'origin/main' into fuzz.constraint
kripken
committed
42121a2
Merge remote-tracking branch 'origin/main' into fuzz.constraint
kripken
committed
1ef4c61
fix
kripken
committed
9509fce
Merge remote-tracking branch 'myself/fuzz.constraint' into c.add.overf
kripken
committed
8347259
simpl
kripken
committed
7659e7c

Commits on Aug 21, 2026

Merge remote-tracking branch 'myself/i65_span.use' into c.add.overf
kripken
committed
1ebaeab
:wq
kripken
committed
a9ae680
undo
kripken
committed
0f051c9
undo
kripken
committed
578362c
test
kripken
committed
c164b4e
work
kripken
committed
5b3ef90
work
kripken
committed
33c5548
work
kripken
committed
5a4997c
work
kripken
committed
ab8463b
work
kripken
committed
5a2c93c
work
kripken
committed
af1ff98
work
kripken
committed
73ef037
work
kripken
committed
9afad8e
work
kripken
committed
1f3495a
work
kripken
committed
936d172
work
kripken
committed
86ef62a
work
kripken
committed
4c0bd9c
work
kripken
committed
2173823
fix
kripken
committed
f1ba9f7
work
kripken
committed
e552d7c
work
kripken
committed
b840e68
work
kripken
committed
cb8980c
work
kripken
committed
4291d84
work
kripken
committed
d9e14e4
work
kripken
committed
1ac0fdb
work
kripken
committed
ee00fdc
work
kripken
committed
b49b5c5
work
kripken
committed
d1789d1
Merge remote-tracking branch 'origin/main' into c.add.overf
kripken
committed
5db2da7
work
kripken
committed
f14f674
fix
kripken
committed
48cddc7
Merge branch 'span.nostore.cont' into span.proven
kripken
committed
fe80b41
Merge remote-tracking branch 'origin/main' into span.proven
kripken
committed
922d856
Merge remote-tracking branch 'myself/span.proven' into c.add.overf
kripken
committed
befc119
oops, do not error on non-numbers in getSpan
kripken
committed
344ac09
Merge remote-tracking branch 'myself/span.proven' into c.add.overf
kripken
committed
09ebe8f

Commits on Aug 24, 2026

Merge remote-tracking branch 'origin/main' into c.add.overf
kripken
committed
6987abc
fix
kripken
committed
70799e3
fix
kripken
committed
650e21f

Commits on Aug 25, 2026

fix compile warning
kripken
committed
312a110
add a test
kripken
committed
1870ec8