RTEMS | Implement C11 Annex K (Bounds-checking interfaces): memset_s proof of concept (#5434)

[YASH BHIWANIA (@Yash)]

YASH BHIWANIA commented on a discussion: https://gitlab.rtems.org/rtems/rtos/rtems/-/issues/5434#note_142162


Thanks, @rurban! I appreciate the go-ahead. That makes sense—I definitely want to avoid the "headache" of platform inconsistencies you mentioned.

To address @joel's concern about GCC potentially falling back to missing external symbols, I plan to implement a tiered fallback strategy in `safeclib`:

**Configure Check:** First, check if the system provides `isinf` / `isinfl`.

**Compiler Check:** If not, try using `__builtin_isinf` (if the compiler confirms it can be inlined).

**Hard Fallback:** As a failsafe, I'll implement a local helper that checks the IEEE 754 exponent bits directly.

This should guarantee it works on RTEMS (and other bare-metal targets) without forcing a dependency on Newlib updates. I will include this detailed plan in my GSoC proposal soon as well !

-- 
View it on GitLab: https://gitlab.rtems.org/rtems/rtos/rtems/-/issues/5434#note_142162
You're receiving this email because of your account on gitlab.rtems.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/bugs/attachments/20260207/c75a18db/attachment.htm>