Skip to content

Reapply "[analyzer] Handle [[assume(cond)]] as __builtin_assume(cond)"#129234

Merged
steakhal merged 7 commits intollvm:mainfrom
steakhal:reland-csa-assume-attr-modeling
Mar 6, 2025
Merged

Reapply "[analyzer] Handle [[assume(cond)]] as __builtin_assume(cond)"#129234
steakhal merged 7 commits intollvm:mainfrom
steakhal:reland-csa-assume-attr-modeling

Commits

Commits on Feb 28, 2025

Commits on Mar 4, 2025

Commits on Mar 5, 2025