Warn about unhandled errors in property accessors

diff --git a/vala/valapropertyaccessor.vala b/vala/valapropertyaccessor.vala
index b37f08e173b6e3d5dbddfa7363a65925e8eb7766..2a21201277e03cd6176eac628ffe37f5dc40352c 100644 (file)
--- a/vala/valapropertyaccessor.vala
+++ b/vala/valapropertyaccessor.vala
@@ -201,6 +201,12 @@ public class Vala.PropertyAccessor : Symbol {
                        }
 
                        body.check (analyzer);
+
+                       foreach (DataType body_error_type in body.get_error_types ()) {
+                               if (!((ErrorType) body_error_type).dynamic_error) {
+                                       Report.warning (body_error_type.source_reference, "unhandled error `%s'".printf (body_error_type.to_string()));
+                               }
+                       }
                }
 
                analyzer.current_symbol = old_symbol;