Normalise newlines at ends of files

Author: rjmunro

doc/html-manual/boop-example/driver.c

@@ -46,4 +46,3 @@ int dummy_release (struct inode *inode, struct file *filp)
     }
   return -1;
 }
-

doc/html-manual/header.inc

@@ -21,4 +21,3 @@
 <li><a href="/hardware/">Hardware Verification</a></li>
 </ul>
 </div>
-

doc/html-manual/pid.c

@@ -75,4 +75,3 @@ int main()
 
   return 0;
 }
-

regression/ansi-c/Array_Declarator3/main.c

@@ -7,4 +7,3 @@ int main(void)
   int bar0[restrict] = {0};
   return 0;
 }
-

regression/ansi-c/Header_files1/main.c

@@ -28,4 +28,3 @@ int main()
 {
   return 0;
 }
-

regression/ansi-c/Header_files1/test.desc

@@ -8,4 +8,3 @@ main.c
 ^CONVERSION ERROR$
 is not declared$
 --
-

regression/ansi-c/KnR1/main.c

@@ -37,4 +37,3 @@ int main()
 {
   return d(-1)!=0;
 }
-

regression/ansi-c/KnR2/main.c

@@ -12,4 +12,3 @@ register int x;
 int main()
 {
 }
-

regression/ansi-c/KnR3/main.c

@@ -29,4 +29,3 @@ int main()
 {
   return whois_func_head(0)==0;
 }
-

regression/ansi-c/Lvalue1/main.c

@@ -14,4 +14,3 @@ int main()
   const char *f=&(__FUNCTION__[2]);
   char *p=&(char){':'};
 }
-

regression/ansi-c/Recursive_Structure2/main.c

@@ -12,4 +12,3 @@ int main()
 
   return 0;
 }
-

regression/ansi-c/Struct_Enum_Padding1/main.c

@@ -27,4 +27,3 @@ STATIC_ASSERT(sizeof(struct ofpact) == 4);
 int main()
 {
 }
-

regression/ansi-c/Struct_Padding2/main.c

@@ -157,4 +157,3 @@ STATIC_ASSERT(
 int main()
 {
 }
-

regression/ansi-c/Struct_Padding3/main.c

@@ -115,4 +115,3 @@ STATIC_ASSERT(__builtin_offsetof(struct my_struct3, i3)==28);
 int main()
 {
 }
-

regression/ansi-c/Typecast_to_array_ptr1/main.c

@@ -6,4 +6,3 @@ int main()
 
   return 0;
 }
-

regression/ansi-c/Universal_characters1/main.c

@@ -15,4 +15,3 @@ int main()
   identifier_ȁ_=10;
   ȁ_abc=10;
 }
-

regression/ansi-c/array_initialization1/main.c

@@ -21,4 +21,3 @@ int main()
 
   return 0;
 }
-

regression/ansi-c/asm3/other.c

@@ -5,4 +5,3 @@ int* other(int *) __asm__("" "my_real_name");
 
 int *other(int *p) { return p; }
 #endif
-

regression/ansi-c/decl_initialization1/main.c

@@ -14,4 +14,3 @@ int main()
   foo();
   return cr_register_hook();
 }
-

regression/ansi-c/decl_initialization2/main.c

@@ -14,4 +14,3 @@ int main()
   foo();
   return cr_register_hook();
 }
-

regression/ansi-c/enum1/main.c

@@ -9,4 +9,3 @@ int main()
 
   return 0;
 }
-

regression/ansi-c/enum3/main.c

@@ -62,4 +62,3 @@ int main()
 {
 }
 #endif
-

regression/ansi-c/enum8/main.c

@@ -6,4 +6,3 @@ enum {
 int main (void) {
   return 0;
 }
-

regression/ansi-c/extern_inline1/main.c

@@ -27,4 +27,3 @@ int main()
   assert(foo(0)==0);
 #endif
 }
-

regression/ansi-c/gcc_attributes2/main.c

@@ -30,4 +30,3 @@ int main()
 
   #endif
 }
-

regression/ansi-c/gcc_builtin_constant_p1/main.c

@@ -26,4 +26,3 @@ int main()
   assert(i==0);
   #endif
 }
-

regression/ansi-c/gcc_builtins3/main.c

@@ -14,4 +14,3 @@ void __attribute__((ms_abi)) bar(__builtin_ms_va_list authors, ...)
 int main()
 {
 }
-

regression/ansi-c/pragma_pack1/main.c

@@ -46,4 +46,3 @@ int main()
   printf("struct S: %lu\n", sizeof(struct S));
   return 0;
 }
-

regression/ansi-c/pragma_pack2/main.c

@@ -21,4 +21,3 @@ int main()
 {
   return 0;
 }
-

regression/ansi-c/pragma_pack3/main.c

@@ -40,4 +40,3 @@ int main()
 {
   return 0;
 }
-

regression/array-refinement/Array_UF3/main.c

@@ -17,4 +17,3 @@ main()
 
   assert(matrix[0]<max);
 }
-

regression/cbmc-concurrency/atomic_section_sc3/main.c

@@ -90,4 +90,3 @@ __CPROVER_ASYNC_1: dec();
 
   return 0;
 }
-

regression/cbmc-concurrency/atomic_section_sc4/main.c

@@ -21,5 +21,3 @@ void i2c_hid_open() {
 void main() {
 __CPROVER_ASYNC_1: i2c_hid_open();
 }
-
-

regression/cbmc-concurrency/conditional_spawn1/main.c

@@ -33,4 +33,3 @@ void *checkThread(void *param) {
 
   return 0;
 }
-

regression/cbmc-concurrency/conditional_spawn2/main.c

@@ -23,4 +23,3 @@ __CPROVER_ASYNC_1: thread();
 
   return 0;
 }
-

regression/cbmc-concurrency/constant_prop1/main.c

@@ -34,4 +34,3 @@ int main()
 
   return 0;
 }
-

regression/cbmc-concurrency/global_pointer1/main.c

@@ -30,4 +30,3 @@ int main()
 
   return 0;
 }
-

regression/cbmc-concurrency/if1/main.c

@@ -6,4 +6,3 @@ int main()
       __CPROVER_assert(0, "x");
   return a;
 }
-

regression/cbmc-concurrency/invalid_object1/main.c

@@ -309,4 +309,3 @@ signed int main(void)
   ethoc_open(&netdev);
   return 0;
 }
-

regression/cbmc-concurrency/loop_unwinding1/main.c

@@ -9,4 +9,3 @@ int main(){
   __CPROVER_ASYNC_1: thr1(0);
 	for(int i=0; i<5; ++i) ;
 }
-

regression/cbmc-concurrency/memory_barrier1/main.c

@@ -20,4 +20,3 @@ int main()
   pthread_join(t1, 0);
   return 0;
 }
-

regression/cbmc-concurrency/memory_barrier2/main.c

@@ -35,4 +35,3 @@ int main()
   __CPROVER_ASYNC_1: thr1(0);
   thr2(0);
 }
-

regression/cbmc-concurrency/pthread_join1/main.c

@@ -21,4 +21,3 @@ int main()
   assert(i==1); // should fail, as there are two threads
   assert(i==2); // should pass
 }
-

regression/cbmc-concurrency/recursion1/main.c

@@ -22,4 +22,3 @@ int main()
 
   return 0;
 }
-

regression/cbmc-concurrency/sc2/main.c

@@ -17,4 +17,3 @@ int main()
   assert(global!=3); // safe  // #4
   global=3;                   // #5
 }
-

regression/cbmc-concurrency/sc6/main.c

@@ -20,4 +20,3 @@ int main(){
   __CPROVER_assert(!(r1 == 1 && r2 == 1), "SC");
   return 0;
 }
-

regression/cbmc-concurrency/svcomp13_read_write_lock_safe/main.c

@@ -44,4 +44,3 @@ __CPROVER_ASYNC_1: writer();
 __CPROVER_ASYNC_1: reader();
   return 0;
 }
-

regression/cbmc-concurrency/thread_local1/main.c

@@ -18,4 +18,3 @@ int main()
   pthread_create(&t, 0, thr1, 0);
   pthread_create(&t, 0, thr1, 0);
 }
-

regression/cbmc-from-CVS/End_thread1/main.c

@@ -23,4 +23,3 @@ int main()
 
   assert(i!=100);
 }
-

regression/cbmc-from-CVS/Minisat_Simp1/main.c

@@ -10,4 +10,3 @@ int main()
   dabs=(my_d<0)?-my_d:my_d;
   assert(fabs(my_d)==dabs);
 }
-

regression/cbmc-from-CVS/Pointer29/main.c

@@ -5,4 +5,3 @@ int main() {
   assert(s_pdt > 1);
   return 0;
 }
-

regression/cbmc-from-CVS/Same_Basename1/bar.c

@@ -6,4 +6,3 @@ int main()
   assert(func(x));
   return 0;
 }
-

regression/cbmc-from-CVS/Same_Basename1/foo/bar.c

@@ -2,4 +2,3 @@ int func(int x)
 {
   return 1;
 }
-

regression/cbmc-from-CVS/String_Abstraction12/char-array.c

@@ -7,4 +7,3 @@ int main(int argc, char* argv[]) {
 
   return 0;
 }
-

regression/cbmc-from-CVS/String_Abstraction13/constant.c

@@ -13,4 +13,3 @@ int main() {
   assert(__CPROVER_is_zero_string(x));
   return 0;
 }
-

regression/cbmc-from-CVS/String_Abstraction16/ptr-arith.c

@@ -13,4 +13,3 @@ int main(int argc, char* argv[]) {
 
   return 0;
 }
-

regression/cbmc-from-CVS/String_Abstraction17/strcpy-no-decl.c

@@ -25,4 +25,3 @@ int main(int argc, char* argv[]) {
 
   return 0;
 }
-

regression/cbmc-from-CVS/String_Abstraction18/strcpy.c

@@ -28,4 +28,3 @@ int main(int argc, char* argv[]) {
 
   return 0;
 }
-

regression/cbmc-from-CVS/String_Abstraction21/strcpy2.c

@@ -35,4 +35,3 @@ int main(int argc, char* argv[]) {
 
   return 0;
 }
-

regression/cbmc-incr-oneloop/alarm1/main.c

@@ -394,4 +394,3 @@ int main() {
   }
   return 0;
 }
-

regression/cbmc-incr-oneloop/alarm2/main.c

@@ -394,4 +394,3 @@ int main() {
   }
   return 0;
 }
-

regression/cbmc-incr-oneloop/alarm3/main.c

@@ -394,4 +394,3 @@ int main() {
   }
   return 0;
 }
-

regression/cbmc-incr/alarm1/main.c

@@ -394,4 +394,3 @@ int main() {
   }
   return 0;
 }
-

regression/cbmc-incr/alarm2/main.c

@@ -394,4 +394,3 @@ int main() {
   }
   return 0;
 }
-

regression/cbmc-incr/alarm3/main.c

@@ -394,4 +394,3 @@ int main() {
   }
   return 0;
 }
-

regression/cbmc-with-incr/Array_Initialization1/main.c

@@ -27,4 +27,3 @@ int main()
   assert(string_array[0][0][3]=='4');
   assert(string_array[0][0][4]==0);
 }
-

regression/cbmc-with-incr/Assumption1/main.c

@@ -10,4 +10,3 @@ int main()
   __CPROVER_assume(x==1);
   assert(x==1); // passes
 }
-

regression/cbmc-with-incr/Bitfields2/main.c

@@ -46,4 +46,3 @@ int main()
 
   return 0;
 }
-

regression/cbmc-with-incr/Endianness4/main.c

@@ -9,4 +9,3 @@ void main()
   // should work with any endianness
   assert(x==0);
 }
-

regression/cbmc-with-incr/Exceptions1/main.c

@@ -73,4 +73,3 @@ int main()
   test_try_catch1();
   test_try_catch2();
 }
-

regression/cbmc-with-incr/Float-no-simp5/main.c

@@ -12,4 +12,3 @@ int main()
 
   assert((au.i == bu.i) == __CPROVER_equal(a, b));
 }
-

regression/cbmc-with-incr/Float18/main.c

@@ -16,5 +16,3 @@ int main()
 
    assert( n < 11 );
 }
-
-

regression/cbmc-with-incr/Float20/main.c

@@ -53,4 +53,3 @@ int main (void) {
 
   return 1;
 }
-

regression/cbmc-with-incr/Function-KnR1/main.c

@@ -34,4 +34,3 @@ main()
 
   assert(f(0, 0, x, 0)==10);
 }
-

regression/cbmc-with-incr/Function_Eval_Order1/main.c

@@ -25,4 +25,3 @@ int main (void) {
 
   return 1;
 }
-

regression/cbmc-with-incr/Function_Eval_Order2/main.c

@@ -25,4 +25,3 @@ int main (void) {
 
   return 1;
 }
-

regression/cbmc-with-incr/Function_Pointer13/main.c

@@ -33,4 +33,3 @@ value=fptr(value);    //value should be 16 after this
 assert(value == 16);
 
 }
-

regression/cbmc-with-incr/Function_Pointer15/main.c

@@ -16,4 +16,3 @@ int main()
   dll_create_generic(dll_insert_master);
   return 0;
 }
-

regression/cbmc-with-incr/Global_Initialization2/main.c

@@ -22,4 +22,3 @@ int main()
 
   return 0;
 }
-