]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
gccrs: [E0635] Use of Unknown feature.
authorMuhammad Mahad <mahadtxt@gmail.com>
Thu, 3 Aug 2023 08:24:13 +0000 (13:24 +0500)
committerArthur Cohen <arthur.cohen@embecosm.com>
Tue, 16 Jan 2024 18:00:26 +0000 (19:00 +0100)
Added ErrorCode support for use of unknown
feature.

gcc/rust/ChangeLog:

* checks/errors/rust-feature-gate.cc (FeatureGate::check):
errorcode support for unknown feature.

gcc/testsuite/ChangeLog:

* rust/compile/feature.rs: Added new unknown feature.

Signed-off-by: Muhammad Mahad <mahadtxt@gmail.com>
gcc/rust/checks/errors/rust-feature-gate.cc
gcc/testsuite/rust/compile/feature.rs

index 3e12ee0bad9535bcd2294ad36fb3802592a7cabe..11f6675b4701e42c87205e5ed02d3350120308c9 100644 (file)
@@ -49,8 +49,8 @@ FeatureGate::check (AST::Crate &crate)
                    }
 
                  else
-                   rust_error_at (item->get_locus (), "unknown feature '%s'",
-                                  name_str.c_str ());
+                   rust_error_at (item->get_locus (), ErrorCode::E0635,
+                                  "unknown feature %qs", name_str.c_str ());
                }
            }
        }
index 305d112b7c41a0e212d98d83f06d47ad62f569f0..f743f9229b689e1e1ab1d05186581dc3d6e1a5ea 100644 (file)
@@ -1,4 +1,6 @@
-#![feature(AA)] //{ dg-error "unknown feature 'AA'" }
-                   
+// ErrorCode - E0635
+#![feature(AA)] //{ dg-error "unknown feature .AA." }
+#![feature(iamcrabby)] // { dg-error "unknown feature .iamcrabby." }
+#![feature(nonexistent_gccrs_feature)] // { dg-error "unknown feature .nonexistent_gccrs_feature." }
 
-fn main(){}
\ No newline at end of file
+fn main() {}