nlists.adb (Is_Non_Empty_List): Remove redundant test.
authorThomas Quinot <quinot@adacore.com>
Tue, 8 Apr 2008 06:53:42 +0000 (08:53 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 8 Apr 2008 06:53:42 +0000 (08:53 +0200)
2008-04-08  Thomas Quinot  <quinot@adacore.com>

* nlists.adb (Is_Non_Empty_List): Remove redundant test. First
(No_List) is defined to return Empty.

From-SVN: r134042

gcc/ada/nlists.adb

index 768e130dce579084f8ff9a7b20515e630ec6378f..e809d15ebb63f5a522d4ed1cfc768dec306aadbb 100644 (file)
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---          Copyright (C) 1992-2007, Free Software Foundation, Inc.         --
+--          Copyright (C) 1992-2008, Free Software Foundation, Inc.         --
 --                                                                          --
 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
 -- terms of the  GNU General Public License as published  by the Free Soft- --
@@ -604,7 +604,7 @@ package body Nlists is
 
    function Is_Non_Empty_List (List : List_Id) return Boolean is
    begin
-      return List /= No_List and then First (List) /= Empty;
+      return First (List) /= Empty;
    end Is_Non_Empty_List;
 
    ----------