Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
  • M mjtest
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 2
    • Issues 2
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
    • Requirements
  • Merge requests 1
    • Merge requests 1
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Package Registry
    • Infrastructure Registry
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Code review
    • Insights
    • Issue
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • IPDSnelting
  • mjtest
  • Issues
  • #2

Closed
Open
Created Oct 23, 2018 by sebastian.graf@sgrafOwner

Compile successful semantic tests with `--compile(-firm)`

Every test that passes the --semantic phase can also serve as a --compile or --compile-firm test where the runtime behavior is unspecified.

Specifically, these tests may have undefined behavior, so it doesn't even make sense to run the resulting executable. Yet, they might provoke crashes in the middle- or back-end, so it could still be worthwhile to test them.

Not sure what the resulting mode should be called; compile is already taken.

This subsumes #1 (closed), which proposes an entire new test category for this kind of testing. This proposal allows reuse of all semantic tests for this test category.

Edited Oct 23, 2018 by sebastian.graf
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking

Imprint