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.

Sign up for GitHub

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

Jump to bottom

Usage of undefined variables #107

Open
problame opened this issue Nov 18, 2018 · 1 comment
Open

Usage of undefined variables #107

problame opened this issue Nov 18, 2018 · 1 comment
Labels
enhancement New feature or request needs-discussion ub Undefined Behaviour
Projects
Endspurt
Milestone
Finale

Comments

@problame
Copy link
Contributor

Semcheck could warn about this. A commit with the current suboptimal behavior will reference this issue in a few minutes.

IR codegen will need a decision on this topic.
@problame problame added enhancement New feature or request needs-discussion labels Nov 18, 2018
@flip1995 flip1995 mentioned this issue Nov 18, 2018
Closed
24 tasks
problame added a commit that referenced this issue Nov 18, 2018
@problame
integration-tests: freeze use of undefined variables behavior
2146ff1 
refs #107
reiner-dolp pushed a commit that referenced this issue Nov 21, 2018
@problame @reiner-dolp
integration-tests: freeze use of undefined variables behavior
41ae9f3 
refs #107
reiner-dolp pushed a commit that referenced this issue Nov 21, 2018
@problame @reiner-dolp
integration-tests: freeze use of undefined variables behavior
6265e8b 
refs #107
@problame
Copy link
Contributor Author

Proposal: our compiler should generate code that checks for UB and crashes the program when it would happen, producing a nice stack trace.

Runtime support for other UB has been implemented in
cde2c6a .

See 7dcb98c for an example on how to use those functions.

@joshuabach joshuabach added the ub Undefined Behaviour label Jan 4, 2019
@joshuabach joshuabach changed the title UB: usage of undefined variables usage of undefined variables Jan 4, 2019
@joshuabach joshuabach changed the title usage of undefined variables Usage of undefined variables Jan 4, 2019
@problame problame added this to Todo Safety in Endspurt Feb 4, 2019
@flip1995 flip1995 mentioned this issue Feb 10, 2019
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request needs-discussion ub Undefined Behaviour
Projects
Endspurt
  
Todo Safety
Milestone
Finale
Development

No branches or pull requests
2 participants
@problame @joshuabach