source: CIVL/examples/languageFeatures/shortCircuit.c@ 6df6487

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

added Yihao's example that reveals a bug (fixed) of the side effect remover.

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

  • Property mode set to 100644
File size: 154 bytes
Line 
1#include <stdlib.h>
2
3int fun(int a){
4 return 0;
5}
6
7int main() {
8 int a[1];
9 a[0] = 0;
10 int i = -1;
11
12 if(a[0] == 1 && fun(a[i++])){
13 }
14 return 0;
15}
Note: See TracBrowser for help on using the repository browser.