You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The log file that lintcheck creates after a run has an ### ICE section at the end. However, I've never actually seen any entries in there.
To confirm this, I added a panic!(); to some random check_expr function and it indeed doesn't report them.
It does however print WARNING: bad exit status after checking ..., which I've seen many times but have always ignored because I wasn't sure what that's about, but I suspect that that's the ICE.
ICEs are not reported in JSON format (and I'm not sure it's possible to report them as such). As a result, it is not possible to parse them using Message::parse_stream(...) the same way stdout is parsed.
There is the potential to manually check for ICEs in stderr through string matching (i.e., stdout.contains("panicked at")) - however, constructing a ClippyWarning from this is not possible due to Diagnostics being marked #[non_exhaustive]. We would need to first convert them to a JSON format and deserialize them from that.
Uh oh!
There was an error while loading. Please reload this page.
Description
The log file that lintcheck creates after a run has an
### ICE
section at the end. However, I've never actually seen any entries in there.To confirm this, I added a
panic!();
to some randomcheck_expr
function and it indeed doesn't report them.It does however print
WARNING: bad exit status after checking ...
, which I've seen many times but have always ignored because I wasn't sure what that's about, but I suspect that that's the ICE.Version
99423e8
Additional Labels
@rustbot label +C-bug
The text was updated successfully, but these errors were encountered: