Add a hack to prevent proc_macro misopt in CI · model-checking/verify-rust-std@3fc18d0 (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 3fc18d0

committed

Add a hack to prevent proc_macro misopt in CI

1 parent a95938d commit 3fc18d0

File tree

1 file changed

3

-

1

lines changed

proc_macro/src/bridge
- buffer.rs

1 file changed

3

-

1

lines changed

‎proc_macro/src/bridge/buffer.rs‎

Lines changed: 3 additions & 1 deletion

Original file line number	Diff line number	Diff line change
@@ -119,7 +119,9 @@ impl Write for Buffer {
119	119	}
120	120
121	121	impl Drop for Buffer {
122		-#[inline]
	122	+// HACK(nbdd0121): Hack to prevent LLVM < 17.0.4 from misoptimising,
	123	+// change to `#[inline]` if fixed.
	124	+#[inline(never)]
123	125	fn drop(&mut self) {
124	126	let b = self.take();
125	127	(b.drop)(b);

0 commit comments

Comments

(0)