diff options
| -rw-r--r-- | Cargo.toml | 16 | ||||
| -rw-r--r-- | macros/src/codegen.rs | 2 | ||||
| -rw-r--r-- | src/lib.rs | 1 |
3 files changed, 19 insertions, 0 deletions
@@ -93,3 +93,19 @@ members = [ "homogeneous", "macros", ] + +# do not optimize proc-macro deps or build scripts +[profile.dev.build-override] +codegen-units = 16 +debug = false +debug-assertions = false +opt-level = 0 +overflow-checks = false + + +[profile.release.build-override] +codegen-units = 16 +debug = false +debug-assertions = false +opt-level = 0 +overflow-checks = false diff --git a/macros/src/codegen.rs b/macros/src/codegen.rs index 60074849..80e65cd4 100644 --- a/macros/src/codegen.rs +++ b/macros/src/codegen.rs @@ -75,6 +75,8 @@ pub fn app(app: &App, analysis: &Analysis, extra: &Extra) -> TokenStream2 { #section #cfg_core unsafe extern "C" fn #main() -> ! { + let _TODO: () = (); + #(#assertion_stmts)* #(#pre_init_stmts)* @@ -164,6 +164,7 @@ pub trait Monotonic { /// A marker trait that indicates that it is correct to use this type in multi-core context pub trait MultiCore {} + /// Sets the given `interrupt` as pending /// /// This is a convenience function around |