Maybe. Most C code of non-trivial length is UB or at least implementation defined, you really don't want to "tickle" something in a low-level highly used macro.
You're exactly right, sorry. I meant that even with tests it's probably too subtle to do the standard test driven design method of programming, you have to be way more careful.
