PR #157086 [DA] Add overflow check in ExactSIV

[DA] Add overflow check in ExactSIV #157086

kasuga-fj wants to merge 5 commits into main from users/kasuga-fj/da-fix-exact-siv-ovfl-3

kasuga-fj marked this pull request as ready for review 11 days ago

llvmbot added llvm:analysis

kasuga-fj marked this pull request as draft 11 days ago

kasuga-fj commented on 2025-09-05

kasuga-fj marked this pull request as ready for review 11 days ago

kasuga-fj requested a review from

Meinersbur 11 days ago

kasuga-fj force pushed from c774e1d8 to 7678c02d 11 days ago

kasuga-fj force pushed from 7678c02d to 94b18495 4 days ago

kasuga-fj force pushed from 94b18495 to 06b81a64 4 days ago

Meinersbur approved these changes on 2025-09-15

[DA] Add option to run only SIV routines

fb2bcf20

[DA] Add test where ExactSIV misses dependency due to overflow (NFC)

4e43533b

address review comment

6a3a5fcb

[DA] Add overflow check in ExactSIV

9f8794a0

fix comment

a34c3208

kasuga-fj force pushed from 06b81a64 to a34c3208 17 hours ago

Meinersbur commented on 2025-09-16

Base automatically changed from users/kasuga-fj/da-fix-exact-siv-ovfl-2 to main 11 hours ago

Reviewers

Meinersbur

Assignees

No one assigned

Labels

llvm:analysis

Milestone

No milestone