cc @keithw because oss-fuzz

ping @keithw @sbc100 (tests have also been upstreamed, tho wabt is currently a bit out of date on spec tests)

Thanks, and thanks for the ping. Do you think it would be better to consolidate the three ReadAlignment, TakeHasMemidx, and CheckAlignment functions into a single ReadAlignment(Address* align_log2, bool* has_memidx, const char* desc); that just does everything? That seems safer than requiring the caller to remember to call CheckAlignment each time (if ReadAlignment just always does it).

E.g. keithw/wabt@b09d4e0

we figured having the check in the same function is what caused the issue in the first place. further, different contexts may give different meanings to the alignment flags, so we would be against calling it "has memidx" in that case.

would you have another way to enforce that CheckAlignment is called?

how about this?

Let's just go back to the way you had it and call it done.

oh ;-; okay