Fix infinite loop when processing unknown double-dash argument
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.
Loading
Please register or sign in to comment