Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F Frama Clang
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 2
    • Issues 2
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 3
    • Merge requests 3
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Package Registry
    • Container Registry
    • Infrastructure Registry
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • Frama Clang
  • Merge requests
  • !3

Closed
Created Jul 13, 2021 by Stefan Gränitz@weliveindetail
  • Report abuse
Report abuse

Fix infinite loop when processing unknown double-dash argument

  • Overview 2
  • Commits 0
  • Pipelines 2
  • Changes 0

Paragraph 4.1 (framaCIRGen specific options) of the frama-clang documentation states that the parameters --info, --warn and --debug might be used to enable extra messages at runtime. They don't appear to be implemented right now. Instead, execution gets stuck in an infinite loop.

Assignee
Assign to
Reviewer
Request review from
Time tracking
Source branch: cmd-line-args-fix