Remove uneccessary condition in `div_ceil` · model-checking/verify-rust-std@50a6646 (original) (raw)

Skip to content

Appearance settings

- AI CODE CREATION
  * GitHub CopilotWrite better code with AI
  * GitHub SparkBuild and deploy intelligent apps
  * GitHub ModelsManage and compare prompts
  * MCP RegistryNewIntegrate external tools
- DEVELOPER WORKFLOWS
  * ActionsAutomate any workflow
  * CodespacesInstant dev environments
  * IssuesPlan and track work
  * Code ReviewManage code changes
- APPLICATION SECURITY
  * GitHub Advanced SecurityFind and fix vulnerabilities
  * Code securitySecure your code as you build
  * Secret protectionStop leaks before they start
- EXPLORE
  * Why GitHub
  * Documentation
  * Blog
  * Changelog
  * Marketplace

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

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

Appearance settings

model-checking / verify-rust-std Public

forked from rust-lang/rust

Notifications You must be signed in to change notification settings
Fork60
Star 319
Code
Issues 27
Pull requests 16
Discussions
Actions
Projects
Security
Insights

Additional navigation options

Commit 50a6646

authored

Remove uneccessary condition in div_ceil

1 parent 77a5b51 commit 50a6646

File tree

1 file changed

1

-

1

lines changed

core/src/num
- uint_macros.rs

1 file changed

1

-

1

lines changed

‎core/src/num/uint_macros.rs‎

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
@@ -2726,7 +2726,7 @@ macro_rules! uint_impl {
2726	2726	pub const fn div_ceil(self, rhs: Self) -> Self {
2727	2727	let d = self / rhs;
2728	2728	let r = self % rhs;
2729		-if r > 0 && rhs > 0 {
	2729	+if r > 0 {
2730	2730	d + 1
2731	2731	} else {
2732	2732	d

0 commit comments

Comments

(0)