Update copyright years.

csmith-project · Dec 31, 2014 · b80708e · b80708e
1 parent 6a40ee4
commit b80708e
Show file tree

Hide file tree

Showing 66 changed files with 183 additions and 61 deletions.
diff --git a/COPYING b/COPYING
@@ -1,6 +1,6 @@
 -*- mode: Text -*-
 
-Csmith is Copyright (c) 2007-2011 The University of Utah.
+Csmith is Copyright (c) 2007-2014 The University of Utah.
 
 Csmith is distributed under the following license, which is often called
 the "BSD License."

diff --git a/driver/test1_wrong_code.sh b/driver/test1_wrong_code.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 ##
-## Copyright (c) 2012 The University of Utah
+## Copyright (c) 2012, 2013, 2014 The University of Utah
 ## All rights reserved.
 ##
 ## This file is distributed under the University of Illinois Open Source

diff --git a/runtime/csmith.h b/runtime/csmith.h
@@ -1,6 +1,6 @@
 /* -*- mode: C -*-
  *
- * Copyright (c) 2007-2010 The University of Utah
+ * Copyright (c) 2007-2011, 2013, 2014 The University of Utah
  * All rights reserved.
  *
  * This file is part of `csmith', a random generator of C programs.

diff --git a/runtime/csmith_minimal.h b/runtime/csmith_minimal.h
@@ -1,6 +1,6 @@
 /* -*- mode: C -*-
  *
- * Copyright (c) 2007-2011, 2013 The University of Utah
+ * Copyright (c) 2007-2011, 2013, 2014 The University of Utah
  * All rights reserved.
  *
  * This file is part of `csmith', a random generator of C programs.

diff --git a/runtime/custom_limits.h b/runtime/custom_limits.h
@@ -1,3 +1,7 @@
+/* -*- mode: C -*-
+ *
+ * Copyright (c) 2014 The University of Utah
+ */
 /* Copyright (C) 1997,1998,1999,2000,2001,2006 Free Software Foundation, Inc.
    This file is part of the GNU C Library.
 

diff --git a/runtime/platform_avr.h b/runtime/platform_avr.h
@@ -1,6 +1,6 @@
 /* -*- mode: C -*-
  *
- * Copyright (c) 2007, 2008 The University of Utah
+ * Copyright (c) 2007, 2008, 2011 The University of Utah
  * All rights reserved.
  *
  * This file is part of `csmith', a random generator of C programs.

diff --git a/runtime/platform_msp430.h b/runtime/platform_msp430.h
@@ -1,6 +1,6 @@
 /* -*- mode: C -*-
  *
- * Copyright (c) 2007, 2008 The University of Utah
+ * Copyright (c) 2007, 2008, 2011 The University of Utah
  * All rights reserved.
  *
  * This file is part of `csmith', a random generator of C programs.

diff --git a/runtime/random_inc.h b/runtime/random_inc.h
@@ -1,6 +1,6 @@
 /* -*- mode: C -*-
  *
- * Copyright (c) 2007-2010 The University of Utah
+ * Copyright (c) 2007-2010, 2011 The University of Utah
  * All rights reserved.
  *
  * This file is part of `csmith', a random generator of C programs.

diff --git a/runtime/safe_math.m4 b/runtime/safe_math.m4
@@ -1,6 +1,6 @@
 dnl -*- mode: m4 -*-
 dnl
-dnl Copyright (c) 2008, 2009 The University of Utah
+dnl Copyright (c) 2008, 2009, 2013, 2014 The University of Utah
 dnl All rights reserved.
 dnl
 dnl This file is part of `csmith', a random generator of C programs.

diff --git a/runtime/safe_math_macros.m4 b/runtime/safe_math_macros.m4
@@ -1,6 +1,6 @@
 dnl -*- mode: m4 -*-
 dnl
-dnl Copyright (c) 2008, 2009 The University of Utah
+dnl Copyright (c) 2008, 2009, 2013 The University of Utah
 dnl All rights reserved.
 dnl
 dnl This file is part of `csmith', a random generator of C programs.

diff --git a/runtime/safe_math_macros_notmp.m4 b/runtime/safe_math_macros_notmp.m4
@@ -1,6 +1,6 @@
 dnl -*- mode: m4 -*-
 dnl
-dnl Copyright (c) 2008, 2009 The University of Utah
+dnl Copyright (c) 2008, 2009, 2013 The University of Utah
 dnl All rights reserved.
 dnl
 dnl This file is part of `csmith', a random generator of C programs.

diff --git a/scripts/driver0.sh b/scripts/driver0.sh
@@ -1,3 +1,34 @@
+#!/bin/sh
+##
+## Copyright (c) 2012 The University of Utah
+## All rights reserved.
+##
+## This file is part of `csmith', a random generator of C programs.
+##
+## Redistribution and use in source and binary forms, with or without
+## modification, are permitted provided that the following conditions are met:
+##
+##   * Redistributions of source code must retain the above copyright notice,
+##     this list of conditions and the following disclaimer.
+##
+##   * Redistributions in binary form must reproduce the above copyright
+##     notice, this list of conditions and the following disclaimer in the
+##     documentation and/or other materials provided with the distribution.
+##
+## THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+## AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+## IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+## ARE DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
+## LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
+## CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
+## SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+## INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
+## CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
+## ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+## POSSIBILITY OF SUCH DAMAGE.
+
+###############################################################################
+
 set -e
 while [ true ]
 do

diff --git a/src/ArrayVariable.cpp b/src/ArrayVariable.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/ArrayVariable.h b/src/ArrayVariable.h
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/Block.cpp b/src/Block.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/Block.h b/src/Block.h
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/Bookkeeper.cpp b/src/Bookkeeper.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/CGContext.cpp b/src/CGContext.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/CGContext.h b/src/CGContext.h
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/CGOptions.cpp b/src/CGOptions.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2008, 2010, 2011 The University of Utah
+// Copyright (c) 2008, 2010, 2011, 2012, 2013, 2014 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/CGOptions.h b/src/CGOptions.h
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2008, 2009, 2010, 2011 The University of Utah
+// Copyright (c) 2008, 2009, 2010, 2011, 2012, 2013, 2014 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/CVQualifiers.cpp b/src/CVQualifiers.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/CVQualifiers.h b/src/CVQualifiers.h
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2008, 2009, 2010, 2011 The University of Utah
+// Copyright (c) 2008, 2009, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/Constant.cpp b/src/Constant.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/DefaultOutputMgr.cpp b/src/DefaultOutputMgr.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/Effect.cpp b/src/Effect.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/Effect.h b/src/Effect.h
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/Expression.cpp b/src/Expression.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/Expression.h b/src/Expression.h
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/ExpressionAssign.cpp b/src/ExpressionAssign.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/ExpressionComma.cpp b/src/ExpressionComma.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/ExpressionFuncall.cpp b/src/ExpressionFuncall.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/ExpressionVariable.cpp b/src/ExpressionVariable.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/FactPointTo.cpp b/src/FactPointTo.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/Function.cpp b/src/Function.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2010, 2011, 2013, 2014 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/Function.h b/src/Function.h
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/FunctionInvocation.cpp b/src/FunctionInvocation.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/FunctionInvocation.h b/src/FunctionInvocation.h
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2014 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/FunctionInvocationBinary.cpp b/src/FunctionInvocationBinary.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2014 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/FunctionInvocationBinary.h b/src/FunctionInvocationBinary.h
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2014 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/FunctionInvocationUnary.cpp b/src/FunctionInvocationUnary.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2009, 2010, 2011 The University of Utah
+// Copyright (c) 2009, 2010, 2011, 2014 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/FunctionInvocationUser.cpp b/src/FunctionInvocationUser.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/Lhs.cpp b/src/Lhs.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/OutputMgr.cpp b/src/OutputMgr.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013, 2014 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/OutputMgr.h b/src/OutputMgr.h
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2013 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.

diff --git a/src/Probabilities.cpp b/src/Probabilities.cpp
@@ -1,6 +1,6 @@
 // -*- mode: C++ -*-
 //
-// Copyright (c) 2007, 2008, 2009, 2010, 2011 The University of Utah
+// Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014 The University of Utah
 // All rights reserved.
 //
 // This file is part of `csmith', a random generator of C programs.