add noexcept to frequently used constructors

Author: Daniel Kroening

src/big-int/bigint.cc

@@ -464,7 +464,7 @@ BigInt::BigInt (BigInt const &y)
   memcpy (digit, y.digit, length * sizeof (onedig_t));
 }
 
-BigInt::BigInt (BigInt &&y)
+BigInt::BigInt (BigInt &&y) noexcept
   : BigInt()
 {
   swap(y);

src/big-int/bigint.hh

@@ -168,7 +168,7 @@ public:
   BigInt (llong_t) _fast;
   BigInt (ullong_t) _fast;
   BigInt (BigInt const &) _fast;
-  BigInt (BigInt &&) _fast;
+  BigInt (BigInt &&) noexcept _fast;
   BigInt (char const *, onedig_t = 10) _fast;
 
   BigInt &operator= (BigInt const &) _fast;

src/util/dstring.h

@@ -39,7 +39,7 @@ class dstringt final
   #ifdef __GNUC__
   constexpr
   #endif
-  dstringt():no(0)
+  dstringt() noexcept:no(0)
   {
   }
 

src/util/expr.h

@@ -54,7 +54,7 @@ class exprt:public irept
   typedef std::vector<exprt> operandst;
 
   // constructors
-  exprt() { }
+  exprt() noexcept { }
   explicit exprt(const irep_idt &_id):irept(_id) { }
   exprt(const irep_idt &_id, const typet &_type):irept(_id)
   {

src/util/irep.h

@@ -172,7 +172,7 @@ class irept
   bool is_nil() const { return id()==ID_nil; }
   bool is_not_nil() const { return id()!=ID_nil; }
 
-  explicit irept(const irep_idt &_id)
+  explicit irept(const irep_idt &_id) noexcept
 #ifdef SHARING
     :data(&empty_d)
 #endif
@@ -182,12 +182,12 @@ class irept
 
   #ifdef SHARING
   // constructor for blank irep
-  irept():data(&empty_d)
+  irept() noexcept:data(&empty_d)
   {
   }
 
   // copy constructor
-  irept(const irept &irep):data(irep.data)
+  irept(const irept &irep) noexcept:data(irep.data)
   {
     if(data!=&empty_d)
     {
@@ -204,7 +204,7 @@ class irept
   // Copy from rvalue reference.
   // Note that this does avoid a branch compared to the
   // standard copy constructor above.
-  irept(irept &&irep):data(irep.data)
+  irept(irept &&irep) noexcept:data(irep.data)
   {
     #ifdef IREP_DEBUG
     std::cout << "COPY MOVE\n";
@@ -234,7 +234,7 @@ class irept
   #ifdef USE_MOVE
   // Note that the move assignment operator does avoid
   // three branches compared to standard operator above.
-  irept &operator=(irept &&irep)
+  irept &operator=(irept &&irep) noexcept
   {
     #ifdef IREP_DEBUG
     std::cout << "ASSIGN MOVE\n";