gh-131316: handle NULL values returned by HACL* functions (#131324)
- Handle NULL returned by allocation functions. - Handle NULL returned by copy functions. - Suppress unused impossible return codes.
B
Bénédikt Tran committed
261633bd3f48607478f50d12d8025cd4bb36f6f4
Parent: de8890f
Committed by GitHub <noreply@github.com>
on 3/17/2025, 10:10:39 AM