Skip to content

Navigation Menu

Appearance settings

View all features
- BY COMPANY SIZE
  Enterprises
  Small and medium teams
  Startups
  Nonprofits
- BY USE CASE
  App Modernization
  DevSecOps
  DevOps
  CI/CD
  View all use cases
- BY INDUSTRY
  Healthcare
  Financial services
  Manufacturing
  Government
  View all industries
View all solutions
- EXPLORE BY TOPIC
  AI
  Software Development
  DevOps
  Security
  View all topics
- EXPLORE BY TYPE
  Customer stories
  Events & webinars
  Ebooks & reports
  Business insights
  GitHub Skills
- SUPPORT & SERVICES
  Documentation
  Customer support
  Community forum
  Trust center
  Partners
- COMMUNITY
  GitHub SponsorsFund open source developers
- PROGRAMS
  Security Lab
  Maintainer Community
  Accelerator
  Archive Program
- REPOSITORIES
  Topics
  Trending
  Collections
- ENTERPRISE SOLUTIONS
  Enterprise platformAI-powered developer platform
- AVAILABLE ADD-ONS
  GitHub Advanced SecurityEnterprise-grade security features
  Copilot for BusinessEnterprise-grade AI features
  Premium SupportEnterprise-grade 24/7 support
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

Appearance settings

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

rust-lang / rust Public

Notifications You must be signed in to change notification settings
Fork 14.4k
Star 110k

Code
Issues 5k+
Pull requests 977
Actions
Projects 9
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Security
Insights

Replace all const evaluation with miri#46882

Merged

bors merged 110 commits intorust-lang:masterrust-lang/rust:masterfrom

oli-obk:miri3oli-obk/rust:miri3Copy head branch name to clipboard

Mar 8, 2018

Conversation Commits110 (110)Checks Files changed

Merged

Replace all const evaluation with miri#46882
bors merged 110 commits intorust-lang:masterfrom
oli-obk:miri3

Commits

Commits on Mar 8, 2018

Add a variant to ConstVal for storing miri results
oli-obk
committed
Add miri errors to the const eval error enum
oli-obk
committed
Produce instead of pointers
oli-obk
committed
Move librustc_const_eval to librustc_mir
oli-obk
committed
Resolve variant field access
oli-obk
committed
Nuke the entire ctfe from orbit, it's the only way to be sure
oli-obk
committed
Initial changes to librustc to support const trait fns.

Alexander Regueiro
authored and
oli-obk
committed
Prepare for using miri in trans

Alexander Regueiro
authored and
oli-obk
committed
Fully use miri in trans
oli-obk
committed
Evaluate 128 lowering lang items manually
oli-obk
committed
Implement on disk cache for AllocId
oli-obk
committed
Codegen tests
oli-obk
committed
Add tests for fixed issues
oli-obk
committed
Add InterpretInterner to StableHashingContext for AllocId serialization
oli-obk
committed
Print whether the stackframe is for a promoted
oli-obk
committed
Additional sanity assertion
oli-obk
committed
Enable const prop to also evaluate constants, not just literals
oli-obk
committed
More const eval sanity checks (invalid slice fat pointers)
oli-obk
committed
Allow writing mutable statics in miri by adding them to the Machine
oli-obk
committed
Allow tools (e.g. miri) to enable rust logging
oli-obk
committed
Don't borrow the interpret_interner for anything but a direct function call
oli-obk
committed
Hide the RefCell inside InterpretInterner
oli-obk
committed
Don't read from zero sized fields
oli-obk
committed
Wrap the miri ErrorKind in an Rc to reduce work in queries
oli-obk
committed
Add test for attempting to use array indexing for conditional const eval
oli-obk
committed
Add test for #45044
oli-obk
committed
Destructure Rc wrapped ErrorKind in miri
oli-obk
committed
Rename ConstVal::to_u128 to to_raw_bits
oli-obk
committed
Nuke ConstInt and Const*size
oli-obk
committed
Use layout::Integer over manual *size resolving
oli-obk
committed
Rename simd shuffle function and adjust comment
oli-obk
committed
Stop emitting `miri failed` in error messages
oli-obk
committed
Prefer enum instead of magic numbers
oli-obk
committed
Use Mutability enum instead of bool
oli-obk
committed
Reduce noise in error reporting
oli-obk
committed
Move compare_const_vals out of `eval`
oli-obk
committed
Remove unused function
oli-obk
committed
Move lit_to_const to `pattern` and remove the now-empty `eval` module
oli-obk
committed
The `const_eval` module is no more
oli-obk
committed
only export the two check* functions from check_match
oli-obk
committed
Move the pattern checking code to hair
oli-obk
committed
Remove unused error variants and const eval types
oli-obk
committed
Explain the existance of `is_binop_lang_item`
oli-obk
committed
Accidental paste
oli-obk
committed
Simplify code around reading/writing ConstVals
oli-obk
committed
Add regression tests
oli-obk
committed
Report errors in statics during collecting instead of translating
oli-obk
committed
Don't use scary block reorderings
oli-obk
committed
Split const prop into its own pass
oli-obk
committed
Revert all changes to the instcombine pass
oli-obk
committed
Simplify const SIMD shuffle in trans
oli-obk
committed
Fix ICE in const prop
oli-obk
committed
Adjust tests to more aggressive const err linting
oli-obk
committed
Deduplicate code in rustdoc
oli-obk
committed
Remove the fragile const propagator and just do linting
oli-obk
committed
Adjust tests to changed const err lints
oli-obk
committed
Remove single field struct by just using the field
oli-obk
committed
Remove redundant warnings in rustc_trans

Oliver Schneider
authored and
oli-obk
committed
Merge const linting pass into const prop

Oliver Schneider
authored and
oli-obk
committed
Use IndexVec instead of FxHashMap

Oliver Schneider
authored and
oli-obk
committed
rustc_passes::consts -> rvalue_promotion
oli-obk
committed
Only report bitshift lints on bitshift ops
oli-obk
committed
Report const eval errors at the correct span
oli-obk
committed
Stabilize const_indexing feature
oli-obk
committed
Update tests
oli-obk
committed
Remove unused error E0020
oli-obk
committed
Figure out const propgatable locals in a single pass
oli-obk
committed
Move the resource limits to the session in preparation for attributes configuring them
oli-obk
committed
Simplify const prop checks through PlaceContext
oli-obk
committed
Rename OptimizationFinder and don't propagate any borrows
oli-obk
committed
Simplify const propagator by removing unused code paths
oli-obk
committed
Update tests
oli-obk
committed
Can only const prop temporaries
oli-obk
committed
Add regression test for const prop
oli-obk
committed
Compute the ParamEnv only once and use it to call tcx.const_eval
oli-obk
committed
Report all errors other than those about insufficient type information
oli-obk
committed
Update tests
oli-obk
committed
Add stack traces to miri errors
oli-obk
committed
Const eval error refactoring
oli-obk
committed
Tidy fix
oli-obk
committed
Reduce code duplication
oli-obk
committed
Add some documentation to pattern/const conversions
oli-obk
committed
Remove dead code
oli-obk
committed
Stage 2 doesn't see suggestion_approximate
oli-obk
committed
Unregress error spans in constant errors
oli-obk
committed
Typo
oli-obk
committed
Add a test for transmuting via unions in constants
oli-obk
committed
Update compile-fail tests
oli-obk
committed
Report a best guess span if no stack is available anymore
oli-obk
committed
Report tcx errors with the span of the currently evaluating statement
oli-obk
committed
Rebase fallout
oli-obk
committed
Add regression test
oli-obk
committed
Step limit is now terminator limit
oli-obk
committed
Const eval will oom together with rustc now
oli-obk
committed
Fix mozjs crater failure
oli-obk
committed
Don't use the undefined bytes of PrimVal::Bytes
oli-obk
committed
Deduplicate some code
oli-obk
committed
Decide signdedness on the layout instead of the type
oli-obk
committed
Adjust test which differs between 32 bit and 64 bit
oli-obk
committed
Address review comments
oli-obk
committed
Generator assertions are unconditionally triggered
oli-obk
committed
Remove unused error code
oli-obk
committed
Reuse `Integer::from_attr`
oli-obk
committed
Use clearer name for integer bit width helper function
oli-obk
committed
Regenerate tests
oli-obk
committed
Correct the shift overflow check in miri
oli-obk
committed
Unify the const folding errors
oli-obk
committed
simplify constant value pair field access
oli-obk
committed
Clean up the binary hex lint
oli-obk
committed
Don't derive traits on packed structs
oli-obk
committed

Footer

© 2026 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Community
Docs
Contact

You can’t perform that action at this time.