source: CIVL/examples/svcomp17/uchar.c@ f8f3bec

1.23 2.0 main test-branch
Last change on this file since f8f3bec was 039dd0c, checked in by Manchun Zheng <zmanchun@…>, 10 years ago

fixed a bug in integer and character conversions; fixed a bug in model builder that doesn't translate string literals used in the condition of if-else statement correctly; fixed bugs in stdlib/string library executor that reports wrong name when an error occur

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@2875 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100644
File size: 207 bytes
Line 
1#include<stdio.h>
2
3int main(){
4 unsigned char a=4, b=7;
5 //int a=4, b=7;
6
7 int d, *p=&d;
8 int t=(int)(*(p+a));
9
10 /*if(a & b)
11 printf("true branch\n");
12 else
13 printf("false branch\n");*/
14 t++;
15}
Note: See TracBrowser for help on using the repository browser.