Skip to content

Fix infinite loop when processing unknown double-dash argument

Stefan Gränitz requested to merge weliveindetail/frama-clang:cmd-line-args-fix into master

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.

Merge request reports