From 42e0132639da1a3535a6e58299b514784e700205 Mon Sep 17 00:00:00 2001
From: "Daniel J. Hofmann" <daniel@trvx.org>
Date: Fri, 3 Apr 2015 19:45:49 +0200
Subject: [PATCH] Wshift-sign-overflow

See:
http://stackoverflow.com/questions/26331035/why-was-1-31-changed-to-be-implementation-defined-in-c14

And Howard Hinnant's explanation:
http://stackoverflow.com/questions/19593938/is-left-shifting-a-negative-integer-undefined-behavior-in-c11#comment29091986_19593938
---
 src/ast/ast.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/ast.h b/src/ast/ast.h
index 277e9120b..1e33cc6d2 100644
--- a/src/ast/ast.h
+++ b/src/ast/ast.h
@@ -522,7 +522,7 @@ public:
 /**
    The ids of expressions and declarations are in different ranges. 
 */
-const unsigned c_first_decl_id = (1 << 31);
+const unsigned c_first_decl_id = (1u << 31);
 
 /**
    \brief Superclass for function declarations and sorts.