Is any program state maintained by the compiler (e.g., safe offsets for each pointer, etc.) changed by the safety_chk_insn function?
If so, it would be useful to understand the implications of pushing on with program checking even after encountering one unsafe instruction.
If the function is entirely stateless (not changing any program state), it would help noting that down explicitly in a comment.
Is any program state maintained by the compiler (e.g., safe offsets for each pointer, etc.) changed by the
safety_chk_insnfunction? If so, it would be useful to understand the implications of pushing on with program checking even after encountering one unsafe instruction. If the function is entirely stateless (not changing any program state), it would help noting that down explicitly in a comment._Originally posted by @ngsrinivas in https://github.com/smartnic/superopt/pull/111#discussion_r937194712_