Comments (1)
Also other pragmas, such as allowed warnings. See https://github.com/immunant/c2rust/blob/master/c2rust-transpile/src/translator/mod.rs#L907
from c2rust.
Related Issues (20)
- analyze: generate subset relationships for arguments such as `arg: &'a &'b &'c i32`
- (`c2rust-analyze`) Support genericity over `KnownFn` ptr perms
- (`c2rust-analyze`) Support custom deallocators/linear `Box` types
- transpile: Init list not implemented for Uint HOT 1
- Add hypothetical lifetimes to pointer-to-reference label
- analyze: "known permissions changed" on lighttpd libc calls
- regression from v0.18.0 to v.0.18.0+409 with regards to wrapping_mul HOT 6
- analyze: tracking issue for lighttpd algo_md5 HOT 1
- Add OTCC case
- `c2rust-bitfields-derive`: Support `const` initialization HOT 1
- Lack of support for simple projects or the cc crate HOT 3
- derive(Debug) for translated types HOT 5
- Darwin build is broken with LLVM 17
- Failed to install on Ubuntu 23.04 HOT 2
- Cannot build on nix HOT 1
- Cannot build on Arch Linux HOT 6
- analyze: rewriter adds hypothetical lifetime args to mentions of non-rewritten structs HOT 2
- analyze: hypothetical lifetime params aren't added to union defs
- analyze: ICE on pointer transmute
- analyze: when rewriting, omit unused hypothetical regions HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from c2rust.