Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Write a script that runs charon on the whole rustc ui test suite #136

Merged
merged 3 commits into from
Apr 22, 2024

Conversation

Nadrieril
Copy link
Member

@Nadrieril Nadrieril commented Apr 19, 2024

I didn't add it to CI because it takes a long time and it's not super important to track our performance. (Takes about 2 minutes on my machine).

Results today:

   5269 expected-failure
   2585 failure
   3105 panic
   4207 success
     27 timeout

Results with #135:

   5524 expected-failure
   3076 failure
   2357 panic
   4207 success
     29 timeout

@Nadrieril Nadrieril requested a review from sonmarcho April 19, 2024 12:23
@Nadrieril
Copy link
Member Author

Nadrieril commented Apr 19, 2024

Here's a quick analysis of the resulting errors, counting the occurrences of each:

      2 The trait reference was ignored while we need it to compute the name
      2 unions cannot have zero fields
      3 cannot find derive macro `Print` in this scope
      3 Could not find the type variable "Self" (index
      3 The closure parent parameters contain regions
      3 unexpected closing delimiter
      3 unreachable expression
      3 Unsupported type
      4 Could not find region
      4 leading `+` is not supported
      4 struct literals are not allowed here
      4 unexpected token
      5 expected identifier, found reserved identifier `_`
      5 Unsupported predicate
      6 this trait cannot be derived for unions
      6 unexpected `self` parameter in function
      7 Could not find clauses for trait obligations
      7 expected one of `!` or `
      7 lifetimes cannot use keyword names
      7 the feature named `nontrapping-fptoint` is not valid for this target
      8 assertion failure
      8 Ignoring the following global due to an error
      8 internal compiler error
      8 Unexpected ProjectionElem
      9 A discriminant read must be followed by a `SwitchInt`
     10 missing angle brackets in associated item path
     11 encountered diff marker
     12 floating-point types cannot be used in patterns
     12 Ignoring the following trait impl due to an error
     14 byte str constants are not supported yet
     15 mismatched closing delimiter
     16 Ignoring the following trait decl due to an error
     17 this file contains an unclosed delimiter
     18 Unsupported cast
     19 Unsupported statement kind
     23 Generator types are not supported yet
     32 Unsupported rvalue
     34 Unimplemented
     47 Nullary operations are not supported
     50 Predicates with bound regions (i.e., `for<'a> ...`) are not supported yet
     53 Floats are not supported yet
     53 Type checking error
     83 Error during trait resolution
    194 Ignoring the following function due to an error
    374 Dynamic types are not supported yet
    519 Unsupported constant

Copy link
Member

@sonmarcho sonmarcho left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is great, thanks!

@Nadrieril Nadrieril merged commit 233435e into main Apr 22, 2024
2 checks passed
@Nadrieril Nadrieril deleted the rustc-tests branch April 22, 2024 09:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants