From 6e8184f7ccdc2cf3fb9bb3350557f34ea612cedf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Tue, 23 Jan 2018 22:43:29 +0100
Subject: [PATCH] cert.py: Added test for EXP46

---
 addons/test/cert-test.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/addons/test/cert-test.c b/addons/test/cert-test.c
index 25ec8cff0..4b24841c1 100644
--- a/addons/test/cert-test.c
+++ b/addons/test/cert-test.c
@@ -23,6 +23,11 @@ void exp42()
     memcmp(&s3, &s4, sizeof(struct S));
 }
 
+void exp46()
+{
+    if ((x == y) & z) {} // cert-EXP46-c
+}
+
 unsigned char int31(int x)
 {
     x = (unsigned char)1000; // cert-INT31-c