Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Fedora > 13 > i386 > media > os > by-pkgid > 82156e51e136cf1c3e3b0cfb61ec2f5a > files > 101

ocaml-cil-doc-1.3.7-5.fc13.i686.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

/* Generated by CIL v. 1.3.7 */
/* print_CIL_Input is true */

#line 1 "cilcode.tmp/ex18.c"
extern int f() ;
#line 1 "cilcode.tmp/ex18.c"
int main(void) 
{ int tmp___0 ;

  {
#line 2
  tmp___0 = f();
#line 2
  if (! tmp___0) {
#line 2
    tmp___0 = 4;
  }
#line 2
  return (tmp___0);
}
}