picoChip GCC support for 32-bit arithmetic shift right.
-Copyright (C) 2003, 2004, 2005, 2008, 2009 Free Software Foundation, Inc.
+Copyright (C) 2003-2013 Free Software Foundation, Inc.
Contributed by Picochip Ltd.
Maintained by Daniel Towner (daniel.towner@picochip.com)