Error interpreting assembly assignment with whitespace between `:` and `=`

[echodrift]

When I try to parse a solidity file with assembly code, parser throw a ParseError:

ParserError: extraneous input '=' expecting {'from', '{', '}', '(', 'error', 'for', 'function', 'address', 'calldata', 'if', 'return', 'revert', 'byte', 'let', 'switch', 'callback', BooleanLiteral, DecimalNumber, HexNumber, HexLiteralFragment, 'break', 'continue', 'leave', 'payable', 'global', 'constructor', 'receive', Identifier, StringLiteralFragment}

But when I use solidity compiler to compile file, it is still compilable. Here is my source code example.

[Janther]

Hello @lvdthieu,

Our parser doesn't understand size: = extcodesize(investor) because the operator we consider as assignment in assembly is := (no space between : and =) which would make your code look like this size := extcodesize(investor).

Just out of curiosity, does : = compile without errors using the solidity compiler? If that's the case we need to update our grammar.

[echodrift]

Hello @Janther,
Thank for give me your time, I have tried to compile the file using hardhat framework, in which I config solidity compiler version as 0.4.24 and it's compilable.

[Janther]

for now just change name: = value to name := value in your code since fixing the grammar might take some time.

[echodrift]

Actually, I am doing a survey about solidity smart contracts and I need to parse multiple files (from verified Smart Contracts from Etherscan.io). I encounter some weird cases that a file has some "syntax error" (I'm not sure) but it's still compilable. I have recognized some patterns in these files and I want to let you know. Example files

1. "pragma <compiler_version> - <compiler_version>;" (pragma_error_sample.sol)
2. "uint256 indexed indexed round" (two "indexed" keywords) (indexed_error_sample.sol)

  errors: [
    {
      message: "extraneous input 'indexed' expecting {',', ')'}",
      line: 516,
      column: 91
    }
  ]

3. "TKN internal fallback" (fallback_error_sample.sol)

  errors: [
    {
      message: "extraneous input 'fallback' expecting {'from', 'error', 'address', 'calldata', 'revert', 'callback', 'override', 'constant', 'immutable', 'leave', 'internal', 'payable', 'private', 'public', 'global', 'constructor', 'receive', Identifier}",
      line: 35,
      column: 17
    }
  ]

4. Multiple lines string (string_error_sample.sol)

errors: [
    {
      message: `token recognition error at: '"The number of recipients differs from the number of amounts \\\r\n` +
        "'",
      line: 6,
      column: 8
    },
    {
      message: `token recognition error at: '";\r'`,
      line: 7,
      column: 19
    },
    { message: "missing ';' at 'string'", line: 8, column: 4 },
    {
      message: `token recognition error at: '"The ether value sent is less than the total intended amount to send \\\r\n` +
        "'",
      line: 9,
      column: 8
    },
    {
      message: `token recognition error at: '";\r'`,
      line: 10,
      column: 21
    },
    {
      message: "extraneous input 'event' expecting {'from', 'error', 'address', 'calldata', 'revert', 'callback', 'leave', 'payable', 'global', 'constructor', 'receive', Identifier}",
      line: 12,
      column: 4
    },
    {
      message: "mismatched input '(' expecting ';'",
      line: 12,
      column: 14
    },
    {
      message: "mismatched input ',' expecting {';', '='}",
      line: 12,
      column: 32
    },
    {
      message: "extraneous input ')' expecting {';', '='}",
      line: 12,
      column: 45
    }
  ]