ICE in `SMTEncoder::visit()`: "Non-local variable assigned in inlined assembly"

[chengniansun]

Description

Environment

• Compiler version: Version: 0.8.5-develop.2021.5.11+commit.643140e2.Linux.clang
• Target EVM version (as per compiler settings):
• Framework/IDE (e.g. Truffle or Remix):
• EVM execution environment / backend / blockchain client:
• Operating system: Linux 5.4.0-66-generic x86_64 GNU/Linux

Steps to Reproduce

Test program: small.sol

pragma  experimental SMTChecker ;
contract A {
  bool s ;
  function f ( ) public {
    assembly {
      function g ( r ) -> s {
        s := r
      }
    }
  }
}

Compiler Command

solc-trunk-asan_ubsan  small.sol

Output

Internal compiler error during compilation:
/solidity/libsolidity/formal/SMTEncoder.cpp(329): Throw in function virtual bool solidity::frontend::SMTEncoder::visit(const solidity::frontend::InlineAssembly &)
Dynamic exception type: boost::wrapexcept<solidity::langutil::InternalCompilerError>
std::exception::what: Non-local variable assigned in inlined assembly
[solidity::util::tag_comment*] = Non-local variable assigned in inlined assembly

[leonardoalt]

#11741 also fixed this bug.