search

plasma-umass / cwhy

"See why!" Explains and suggests fixes for compile-time errors for C, C++, C#, Go, Java, LaTeX, PHP, Python, Ruby, Rust, and TypeScript
Apache License 2.0
272 stars 6 forks source link

CWhy warning: file not found because "from" is also matched. #12

Closed nicovank closed 1 year ago

nicovank commented 1 year ago

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 1 year ago

The regex is probably too general? Or perhaps it's the new regex that allows for Java builds.