Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Segmentation Fault due to a possible syntax error #15223

Closed
haoyang9804 opened this issue Jun 26, 2024 · 4 comments
Closed

Segmentation Fault due to a possible syntax error #15223

haoyang9804 opened this issue Jun 26, 2024 · 4 comments

Comments

@haoyang9804
Copy link
Contributor

Description

A segmentation fault caused by a possible syntax error.

Environment

  • Compiler version: 0.8.27-develop.2024.6.25+commit.ce4be6e1.Darwin.appleclang
  • Operating system: MacOS Sonama 14.5

Steps to Reproduce

pragma experimental solidity;

class Self: Class1 {}
class Self: Class2 {}

forall (A: (Class1,,Class2), B: Class1)
function f(a: A: Class1, b: B: Class1) {}

forall A: Class1
function g(a: A) {}

Using solc CLI to compile the above code results in a segmentation fault.
forall (A: (Class1,,Class2), B: Class1) contains 2 commas between Class1 and Class2, which is a syntax error (maybe).

@r0qs
Copy link
Member

r0qs commented Jun 26, 2024

Hi @haoyang9804 thanks for opening the issue, but as you can read here: #15177 (comment) there is not guarantee of stability in the experimental pragma, and at the current stage of development we will not be fixing all possible segmentation faults that happen there.

@r0qs r0qs closed this as completed Jun 26, 2024
@claudioantonio
Copy link

This issue was used to create a Solidity compiler bug bounty that looks for new segfault errors on v0.8.27.

@r0qs
Copy link
Member

r0qs commented Sep 11, 2024

This issue was used to create a Solidity compiler bug bounty that looks for new segfault errors on v0.8.27.

Hi @claudioantonio, maybe you mentioned this issue by mistake. Note that this segfault occurs under the experimental pragma and thus it is not relevant to find bugs under such experimental features, since they are not considered stable and not widely tested anyway.

@claudioantonio
Copy link

This issue was used to create a Solidity compiler bug bounty that looks for new segfault errors on v0.8.27.

Hi @claudioantonio, maybe you mentioned this issue by mistake. Note that this segfault occurs under the experimental pragma and thus it is not relevant to find bugs under such experimental features, since they are not considered stable and not widely tested anyway.

Yes, @r0qs ! What I meant to say was that we got inspired by this issue and implemented a validation for only accepting proposals of segfault errors if they do not use the experimental pragma. 😉 Thanks for the heads up!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

4 participants