• Stefan Gränitz's avatar
    Fix infinite loop when processing unknown double-dash argument · 59a2f1d4
    Stefan Gränitz authored
    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.
    59a2f1d4
FramaCIRGen.cpp 13 KB