Fix check for data count section ordering (#168)

extensions
Nicholas Rodrigues Lordello 4 years ago committed by GitHub
parent aecaa2c6c1
commit 0f599517ae
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -549,10 +549,10 @@ _ (Read_u32 (& version, & pos, end));
u8 section;
_ (ReadLEB_u7 (& section, & pos, end));
if (section > previousSection or // from the spec: sections must appear in order
section == 0 or // custom section
(section == 12 and section == 9) or // if present, DataCount goes after Element
(section == 10 and section == 12)) // and before Code
if (section > previousSection or // from the spec: sections must appear in order
section == 0 or // custom section
(section == 12 and previousSection == 9) or // if present, DataCount goes after Element
(section == 10 and previousSection == 12)) // and before Code
{
u32 sectionLength;
_ (ReadLEB_u32 (& sectionLength, & pos, end));

Loading…
Cancel
Save