Skip to content

[clang] Generate appropriate assume in presence of libc's memcpy#119704

Open
serge-sans-paille wants to merge 2 commits intollvm:mainfrom
serge-sans-paille:feature/use-memcpy-spec-to-assume-nonnull
Open

[clang] Generate appropriate assume in presence of libc's memcpy#119704
serge-sans-paille wants to merge 2 commits intollvm:mainfrom
serge-sans-paille:feature/use-memcpy-spec-to-assume-nonnull

Commits

Commits on Dec 12, 2024