Yes. If you understand C code well, you have a very good understanding of what will actually happen when the binary is executed.
lol nobody "understands C code well"
The idea that C is a smol language that can be completely understood by one person is one of those myths that need to be put to bed. C is riddled with complexities and footguns, especially but not exclusively around undefined behavior.
This is a myth https://queue.acm.org/doi/10.1145/3212477.3212479