CWhy warning: file not found because "from" is also matched.
nicovank opened this issue · 1 comments
nicovank commented
I am getting some file not found warnings because CWhy is matching "from" in the diagnostic.
$ g++ tests/c++/missing-hash.cpp |& cwhy diff
...
In file included from /usr/include/c++/11/bits/hashtable.h:35,
from /usr/include/c++/11/unordered_map:46,
from /usr/include/c++/11/functional:61,
from tests/c++/missing-hash.cpp:31:
...
Cwhy warning: file not found: from tests/c++/missing-hash.cpp
emeryberger commented
The regex is probably too general? Or perhaps it's the new regex that allows for Java builds.