From a0e0e78551d2f65c40f0517312136fbfe46b39c9 Mon Sep 17 00:00:00 2001
From: Emanuele Cesena <emanuele.cesena@gmail.com>
Date: Wed, 24 Oct 2018 22:03:31 -0700
Subject: [PATCH] Fix undefined behavior

I run cppcheck :)
Shifting *signed* 32-bit value by 31 bits is undefined behaviour.
---
 targets/stm32l442/src/flash.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/targets/stm32l442/src/flash.c b/targets/stm32l442/src/flash.c
index 500d6ad..092a6f5 100644
--- a/targets/stm32l442/src/flash.c
+++ b/targets/stm32l442/src/flash.c
@@ -89,5 +89,5 @@ void flash_write(uint32_t addr, uint8_t * data, size_t sz)
 
 void flash_lock()
 {
-    FLASH->CR |= (1<<31);
+    FLASH->CR |= (1U<<31);
 }