checker: keep map-copy guard for option-map or-unwraps (#27867) - #27870

Open

medvednikov wants to merge 16 commits into

masterfrom

fix-27867-or-unwrap-option-map

Commits on Jul 19, 2026

checker: fix or-unwrapping an option map field/var/index (fix #27867)
medvednikov
committed
fa25149
checker: address review — only relax the map-copy guard for immutable or-unwrap
medvednikov
committed
756eced
checker: address review — only exempt or-unwrap that clears the option
medvednikov
committed
2a6f7dd
checker: address review — keep map-copy guard for mutable option sources
medvednikov
committed
8c4713c
tests: use the review's exact mutable-source form in the alias regression test
medvednikov
committed
66afd39
checker: reject or-unwrap through immutable pointers to mutable data
medvednikov
committed
b870fb7
checker: never exempt shared/atomic or-unwrap destinations from map-copy guard
medvednikov
committed
6448418
checker: keep map-copy guard when or-block default returns a mutable lvalue
medvednikov
committed
e65b20e
checker: unalias types before the or-unwrap pointer check
medvednikov
committed
5e63eb7
checker: only exempt fresh/owned or-block map defaults, not immutable lvalues
medvednikov
committed
b599c51
checker: filter semicolons and tighten or-block default classification
medvednikov
committed
8f35843
checker: only exempt fresh/noreturn or-block map call defaults
medvednikov
committed
6565262
checker: restrict fresh or-block clone/move defaults to builtin map ops
medvednikov
committed
b82d49b
checker: require direct map receiver for fresh or-block clone/move defaults
medvednikov
committed
01d21af
checker: strip parens before classifying or-block map defaults
medvednikov
committed
c31f53b

Commits on Jul 20, 2026

checker: revert unsound option-map or-unwrap exemption; require clone/move
medvednikov
committed
73ce15c

Navigation Menu

Uh oh!

Uh oh!

checker: keep map-copy guard for option-map or-unwraps (#27867) - #27870

checker: keep map-copy guard for option-map or-unwraps (#27867)#27870
medvednikov wants to merge 16 commits into
masterfrom
fix-27867-or-unwrap-option-map

Commits on Jul 19, 2026

checker: fix or-unwrapping an option map field/var/index (fix #27867)

checker: address review — only relax the map-copy guard for immutable or-unwrap

checker: address review — only exempt or-unwrap that clears the option

checker: address review — keep map-copy guard for mutable option sources

tests: use the review's exact mutable-source form in the alias regression test

checker: reject or-unwrap through immutable pointers to mutable data

checker: never exempt shared/atomic or-unwrap destinations from map-copy guard

checker: keep map-copy guard when or-block default returns a mutable lvalue

checker: unalias types before the or-unwrap pointer check

checker: only exempt fresh/owned or-block map defaults, not immutable lvalues

checker: filter semicolons and tighten or-block default classification

checker: only exempt fresh/noreturn or-block map call defaults

checker: restrict fresh or-block clone/move defaults to builtin map ops

checker: require direct map receiver for fresh or-block clone/move defaults

checker: strip parens before classifying or-block map defaults

Commits on Jul 20, 2026

checker: revert unsound option-map or-unwrap exemption; require clone/move