New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

constructor calls with additional msg parameters #132

Open

dddejan opened this issue Jan 22, 2020 · 0 comments

Labels

bug

Member

dddejan commented Jan 22, 2020

pragma solidity >=0.5.0;

contract A {
  constructor() public payable {}
}

contract B {
  A a;
  constructor() public payable {
    a = (new A).value(msg.value)();
  }
}

Gives

$ solc-verify.py issue.sol --output .
Error while running verifier, details:
Parsing ./issue.sol.bpl
./issue.sol.bpl(44,1): Error: wrong number of result variables in call to __constructor#6: 1
1 name resolution errors detected in ./issue.sol.bpl

dddejan added the bug label

# for free to join this conversation on GitHub. Already have an account? # to comment