cert.py: Added test for EXP46

This commit is contained in:
Daniel Marjamäki 2018-01-23 22:43:29 +01:00
parent ce44a5805c
commit 6e8184f7cc
1 changed files with 5 additions and 0 deletions

View File

@ -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