Subway2023

There is no **.gcno** file after compiling Solidity compiler with the coverage switch ON. And, there is no **.gcda** file after executing solc.

[EmptyByteArrayCopy](https://soliditylang.org/blog/2020/10/19/empty-byte-array-copy-bug/) also have the problem ```solidity contract C { bytes data; function f() public returns (bytes memory) { // Empty byte array bytes memory t; // Store something else in...

``` root@ea8d0fc16878:/zkap# ./circom-219 ./spartan-ecdsa-3386b30d9b5b62d8a60735cbeab42bfe42e80429/packages/circuits/eff_ecdsa_membership/eff_ecdsa.circom template instances: 16 Everything went okay ``` In this Docker, circom can successfully compile files. Circom-219 is a circom-linux-amd64 downloaded from GitHub

Circom2llvm cannot compile many circom files properly. For example, ```circom template RotateLeft32Bits(L) { signal input in; signal output out; signal part1

``` contract C { function f() public view returns (bool ret) { return this.f == this.f; } function g() public view returns (bool ret) { return this.f != this.f; }...

> The evaluation order in Yul is right-to-left (inherited from the argument order on stack on the EVM), so in `f(g(), mload(0))`, `mload(0)` is evaluated before `g()`. Hence also, as...

Unwrapping a address type also has similar problem. ```solidity contract C { type T is address; struct Nested { uint y; } struct S { mapping(uint => T) a; Nested...

Yes, the code you provided produces the correct answer. My goal is to expose the inconsistencies between solc and solang.

Converting bytes to integer also causes error, shown in **remainder := mod(sub(b, a), 0x20)** ```solidity contract C { function diff() public pure returns (uint256 remainder) { bytes memory a =...

Thank you very much, this is a great solution to correct result. Similar to other issues, another purpose of mine is to test the differences between solc+evm and solang+svm.