Jan 20, 2024 · Xr0 Team
We failed to verify all the functions in parse.x, getting through all but four functions. We did, finally, implement the topological sorting1 feature that orders the functions in a translation unit2 for verification.
The hurdle we encountered is a case where the value of one of the fields of a structure returned from a function call determines whether or not an allocation will take place, as exhibited in this test. We will go into more detail regarding this in a future article.
The goal for the next week (to 27th) is to get the test linked above to work #24.
Stretch goal:
Topological sorting where we regard functions as nodes in a graph and calls between them as vertices. ↩︎
A translation unit is a C file after its been preprocessed, see here. ↩︎
Subscribe via email.