├── .git-blame-ignore-revs ├── .github └── workflows │ ├── docs.yml │ └── tests.yml ├── CHANGES.md ├── LICENSE ├── META.goblint-cil.template ├── README.md ├── bin ├── cilly ├── dune └── realGccConfigure.ml ├── doc ├── cil.tex ├── cilcode.pl ├── comment.sty ├── dune ├── fullpage.sty ├── hevea.sty ├── html │ └── cil │ │ ├── dune │ │ ├── header.html │ │ └── index.html ├── main.html ├── program.sty └── proof.sty ├── dune ├── dune-project ├── goblint-cil.opam ├── goblint-cil.opam.template ├── lib └── perl5 │ ├── .gdbinit │ ├── App │ ├── Cilly.pm.in │ ├── Cilly │ │ ├── CilCompiler.pm │ │ ├── KeptFile.pm │ │ ├── OutputFile.pm │ │ ├── TempFile.pm │ │ └── dune │ └── dune │ ├── MANIFEST │ ├── Makefile.PL │ └── patcher ├── src ├── cfg.ml ├── cfg.mli ├── check.ml ├── check.mli ├── cil.ml ├── cil.mli ├── cilint.ml ├── cilint.mli ├── cillower.ml ├── cillower.mli ├── ciloptions.ml ├── ciloptions.mli ├── ciltools.ml ├── cilutil.ml ├── cilversion.ml ├── dataflow.ml ├── dataflow.mli ├── dominators.ml ├── dominators.mli ├── dune ├── escape.ml ├── escape.mli ├── expcompare.ml ├── ext │ ├── dataslicing │ │ ├── META │ │ ├── dataslicing.ml │ │ ├── dataslicing.mli │ │ ├── default │ │ └── dune │ ├── dune │ ├── liveness │ │ ├── META │ │ ├── default │ │ ├── dune │ │ ├── liveness.ml │ │ └── usedef.ml │ ├── makecfg │ │ ├── META │ │ ├── default │ │ ├── dune │ │ └── makeCFG.ml │ ├── pta │ │ ├── META │ │ ├── default │ │ ├── dune │ │ ├── golf.ml │ │ ├── golf.mli │ │ ├── olf.ml │ │ ├── olf.mli │ │ ├── ptranal.ml │ │ ├── ptranal.mli │ │ ├── setp.ml │ │ ├── setp.mli │ │ ├── steensgaard.ml │ │ ├── steensgaard.mli │ │ ├── uref.ml │ │ └── uref.mli │ ├── syntacticsearch │ │ ├── META │ │ ├── codeQuery.ml │ │ ├── dune │ │ ├── funcDatatype.ml │ │ ├── funcFunction.ml │ │ ├── funcVar.ml │ │ ├── queryMapping.ml │ │ └── resultPrinter.ml │ └── zrapp │ │ ├── META │ │ ├── availexps.ml │ │ ├── availexpslv.ml │ │ ├── deadcodeelim.ml │ │ ├── dune │ │ ├── reachingdefs.ml │ │ ├── rmciltmps.ml │ │ ├── zrapp.ml │ │ └── zrapp.mli ├── feature.ml ├── feature.mli ├── formatcil.ml ├── formatcil.mli ├── formatlex.mll ├── formatparse.mly ├── frontc │ ├── cabs.ml │ ├── cabs2cil.ml │ ├── cabs2cil.mli │ ├── cabshelper.ml │ ├── cabsvisit.ml │ ├── cabsvisit.mli │ ├── clexer.mli │ ├── clexer.mll │ ├── cparser.mly │ ├── cprint.ml │ ├── dune │ ├── frontc.ml │ ├── frontc.mli │ ├── lexerhack.ml │ ├── patch.ml │ ├── patch.mli │ ├── whitetrack.ml │ └── whitetrack.mli ├── goblintCil.ml ├── machdep-ml.c ├── machdep.cppo.ml ├── machdepArchConfigure.ml ├── machdepConfigure.ml ├── machdepenv.ml ├── main.ml ├── mainFeature.ml ├── mainFeature.mli ├── mergecil.ml ├── mergecil.mli ├── modelConfigure.ml ├── ocamlutil │ ├── alpha.ml │ ├── alpha.mli │ ├── bitmap.ml │ ├── bitmap.mli │ ├── clist.ml │ ├── clist.mli │ ├── errormsg.ml │ ├── errormsg.mli │ ├── growArray.ml │ ├── growArray.mli │ ├── inthash.ml │ ├── inthash.mli │ ├── longarray.ml │ ├── longarray.mli │ ├── pretty.ml │ ├── pretty.mli │ ├── stats.ml │ ├── stats.mli │ ├── trace.ml │ ├── trace.mli │ ├── util.ml │ └── util.mli ├── rmUnused.ml └── rmUnused.mli └── test ├── Makefile ├── Makefile.gcc ├── RegTest.pm ├── dune ├── runall.pl ├── small1 ├── .gdbinit ├── GRT.c ├── Makefile ├── addr-array.c ├── addr-string.c ├── addrof3.c ├── align1.c ├── align2.c ├── align3.c ├── alignas.c ├── alignas_proper.c ├── apachebits.c ├── apachebuf.c ├── apachefptr.c ├── argcast.c ├── array-args.c ├── array-size-trick.c ├── array1.c ├── array2.c ├── array_formal.c ├── array_multi_varsize.c ├── array_varsize.c ├── arrayinitsize.c ├── arrsize.c ├── asm1.c ├── asm2.c ├── asm3.c ├── asm4.c ├── asm5.c ├── asm_emptyclobberallowed.c ├── assign.c ├── attr-assign.c ├── attr-enumerator.c ├── attr-in-decllist.c ├── attr10.c ├── attr11.c ├── attr12.c ├── attr13.c ├── attr2.c ├── attr3.c ├── attr4.c ├── attr5.c ├── attr6.c ├── attr7.c ├── attr8.c ├── attr9.c ├── bf.c ├── bind-formatstring.c ├── bind-used-not-defined.c ├── bitfield.c ├── bitfield0.c ├── bitfield2.c ├── bitfield3.c ├── blockattr.c ├── blockattr2.c ├── bool.c ├── booleanOp.c ├── break1.c ├── builtin.c ├── builtin2.c ├── builtin3.c ├── builtin4.c ├── builtin5.c ├── builtin6.c ├── builtin_choose_expr.c ├── builtin_object_size.c ├── c11-align-of.c ├── c11-atomic-store.c ├── c11-atomic.c ├── c11-caserange.c ├── c11-extendedFloat.c ├── c11-generic.c ├── c11-noreturn.c ├── c11-static-assert.c ├── c99-bool.c ├── c99-complex.c ├── c99-fixed-width-int.c ├── c99-float-pragma.c ├── c99-predefined.c ├── c99-struct.c ├── c99-tgmath.c ├── c99-tgmath2.c ├── c99-universal-character-names.c ├── call2.c ├── case_then_default_in_switch.c ├── caserange.c ├── cast1.c ├── cast2.c ├── cast3.c ├── cast4.c ├── cast8.c ├── castcall.c ├── castincr.c ├── castunion.c ├── clang-c11-generic-1-1.c ├── clang-c11-generic-1-2.c ├── clang-c11-generic-2.c ├── combine-c99-mergeinline1_1.c ├── combine-c99-mergeinline1_2.c ├── combine-c99-mergeinline2_1.c ├── combine-c99-mergeinline2_2.c ├── combine-c99-mergeinline3_1.c ├── combine-c99-mergeinline3_2.c ├── combine-c99-mergeinline4_1.c ├── combine-c99-mergeinline4_2.c ├── combine-c99-mergeinline5_1.c ├── combine-c99-mergeinline5_2.c ├── combine-c99-mergeinline6_1.c ├── combine-c99-mergeinline6_2.c ├── combine-c99-mergeinline7.h ├── combine-c99-mergeinline7_1.c ├── combine-c99-mergeinline7_2.c ├── combine-c99inline1_1.c ├── combine-c99inline1_2.c ├── combine-c99inline2_1.c ├── combine-c99inline2_2.c ├── combine-c99inline3_1.c ├── combine-c99inline3_2.c ├── combine-c99inline4_1.c ├── combine-c99inline4_2.c ├── combine-c99inline5_1.c ├── combine-c99inline5_2.c ├── combine-c99inline6_1.c ├── combine-c99inline6_2.c ├── combine-c99inline7_1.c ├── combine-c99inline7_2.c ├── combine-c99inline7_3.c ├── combine-c99inline8_1.c ├── combine-c99inline8_2.c ├── combine-c99inline8_3.c ├── combine-c99inline9.h ├── combine-c99inline9_1.c ├── combine-c99inline9_2.c ├── combine-c99inline_1.c ├── combine-c99inline_2.c ├── combine10_1.c ├── combine10_2.c ├── combine10_3.c ├── combine11_1.c ├── combine11_2.c ├── combine12_1.c ├── combine12_2.c ├── combine13_1.c ├── combine13_2.c ├── combine14_1.c ├── combine14_2.c ├── combine15_1.c ├── combine15_2.c ├── combine16_1.c ├── combine16_2.c ├── combine17_1.c ├── combine17_2.c ├── combine18_1.c ├── combine18_2.c ├── combine1_1.c ├── combine1_2.c ├── combine1_3.c ├── combine20_1.c ├── combine20_2.c ├── combine21_1.c ├── combine21_2.c ├── combine22_1.c ├── combine22_2.c ├── combine2_1.c ├── combine2_2.c ├── combine2_3.c ├── combine3_1.c ├── combine3_2.c ├── combine3_3.c ├── combine4_1.c ├── combine4_2.c ├── combine5.h ├── combine5_1.c ├── combine5_2.c ├── combine5_3.c ├── combine6_1.c ├── combine6_2.c ├── combine6_3.c ├── combine7_1.c ├── combine7_2.c ├── combine7_3.c ├── combine8_1.c ├── combine8_2.c ├── combine9_1.c ├── combine9_2.c ├── combine_allocate_1.c ├── combine_allocate_2.c ├── combine_copyptrs_1.c ├── combine_copyptrs_2.c ├── combine_init_1.c ├── combine_init_2.c ├── combine_node_alloc_1.c ├── combine_node_alloc_2.c ├── combine_samefn_1.c ├── combine_samefn_2.c ├── combine_sbumpB_1.c ├── combine_sbumpB_2.c ├── combine_sbumpB_3.c ├── combine_sbump_1.c ├── combine_sbump_2.c ├── combine_syserr_1.c ├── combine_syserr_2.c ├── combine_theFunc_1.c ├── combine_theFunc_2.c ├── combine_theFunc_3.c ├── combinealias_1.c ├── combinealias_2.c ├── combineenum1_1.c ├── combineenum1_2.c ├── combineenum2_1.c ├── combineenum2_2.c ├── combineenum3_1.c ├── combineenum3_2.c ├── combinegnuinline_1.c ├── combinegnuinline_2.c ├── combinegnuinline_header.h ├── combineinline1_1.c ├── combineinline1_2.c ├── combineinline2_1.c ├── combineinline2_2.c ├── combineinline3_1.c ├── combineinline3_2.c ├── combineinline4_1.c ├── combineinline4_2.c ├── combineinline6_1.c ├── combineinline6_2.c ├── combinelibrik_1.c ├── combinelibrik_2.c ├── combinemerge1_1.c ├── combinemerge1_2.c ├── combinemerge1_3.c ├── combinestruct1_1.c ├── combinestruct1_2.c ├── combinetaggedfn_1.c ├── combinetaggedfn_2.c ├── comma1.c ├── comparisons.c ├── compound1.c ├── compound2.c ├── cond1.c ├── cond2.c ├── const-array-init.c ├── const-compound-cast.c ├── const-struct-init.c ├── const1.c ├── const10.c ├── const11.c ├── const12.c ├── const13.c ├── const14.c ├── const15.c ├── const16.c ├── const2.c ├── const3.c ├── const4.c ├── const5.c ├── const6.c ├── const7.c ├── const8.c ├── const9.c ├── constfold.c ├── constfold2.c ├── constprop.c ├── constrexpr.c ├── cpp-2.c ├── cpp-3.c ├── decl2.c ├── decl_mix_stmt.c ├── deref.c ├── do_while_cont.c ├── duplicate.c ├── empty.i ├── enum-scope.c ├── enum.c ├── enum2.c ├── enum3.c ├── enum3a.c ├── enum3b.c ├── enum3c.c ├── enum3d.c ├── enum3e.c ├── enum3f.c ├── enum3g.c ├── enum3h.c ├── enum3i.c ├── enum3j.c ├── enum3k.c ├── enum3l.c ├── escapes.c ├── extern1.c ├── extern_init.c ├── extinline2.c ├── extinline3.c ├── fallthrough-label.c ├── flexible-array-member-bad.c ├── flexible-array-member.c ├── float.c ├── float2.c ├── float3.c ├── for1.c ├── formalscope.c ├── func.c ├── func10.c ├── func2.c ├── func3.c ├── func4.c ├── funcarg.c ├── funptr1.c ├── gcc-c11-generic-1.c ├── gcc-c11-generic-2-1.c ├── gcc-c11-generic-2-2.c ├── gcc-c11-generic-2-3.c ├── gcc-c11-generic-2-4.c ├── gcc-c11-generic-2-5.c ├── gcc-c11-generic-2-6.c ├── gcc-c11-generic-2-7.c ├── gcc-c11-generic-3-1.c ├── gcc-c11-generic-3-2.c ├── gcc-c11-generic-3-3.c ├── gcc-c11-generic-3-4.c ├── globals.c ├── globals2.c ├── hello.c ├── huff1.c ├── init.c ├── init1.c ├── init10.c ├── init11.c ├── init12.c ├── init13.c ├── init14.c ├── init15.c ├── init16.c ├── init17.c ├── init18.c ├── init19.c ├── init2.c ├── init20.c ├── init21.c ├── init22.c ├── init3.c ├── init4.c ├── init5.c ├── init6.c ├── init7.c ├── init8.c ├── init9.c ├── initial.c ├── inline1.c ├── inline2.c ├── inline3.c ├── jmp_buf.c ├── knr1.c ├── label1.c ├── label2.c ├── label2b.c ├── label3.c ├── label3b.c ├── label4.c ├── label4b.c ├── label5.c ├── label6.c ├── label7.c ├── label8.c ├── label9.c ├── land_expr.c ├── large_unsigned_long.c ├── li.c ├── lineno.i ├── linux_atomic.c ├── linux_signal.c ├── linuxcombine1_1.c ├── list.c ├── local.c ├── local.h ├── localinit.c ├── logical.c ├── logical1.c ├── logical2.c ├── longBlock.ml ├── lstring.c ├── lval1.c ├── macro_hidden.c ├── math1.c ├── matrix.c ├── memcpy1.c ├── min.c ├── msvc1.c ├── msvc5.c ├── nan-global.c ├── noproto.c ├── noproto1.c ├── noproto2.c ├── noreturn.c ├── offsetof.c ├── offsetof1.c ├── offsetof2.c ├── offsetof3.c ├── oom.c ├── order.c ├── outofmem.c ├── p04.c ├── packed.c ├── packed2.c ├── paper1.c ├── paper2.c ├── percent400.c ├── percentm.c ├── perror.c ├── perror1.c ├── pointers2.c ├── post-assign.c ├── power1.c ├── printf.c ├── printf2.c ├── printf_const.c ├── proto1.c ├── proto2.c ├── pure.c ├── question-fold-float.c ├── question.c ├── question2.c ├── question3.c ├── restrict.c ├── restrict1.c ├── return1.c ├── returnvoid.c ├── returnvoid1.c ├── retval.c ├── rmUnused-attr.c ├── rmUnused1.c ├── rmUnused2.c ├── scope1.c ├── scope10.c ├── scope11.c ├── scope12.c ├── scope2.c ├── scope3.c ├── scope4.c ├── scope5.c ├── scope6.c ├── scope7.c ├── scope8.c ├── scope9.c ├── semicolon.c ├── shell-escape.c ├── signs.c ├── simon6.c ├── sizeof1.c ├── sizeof2.c ├── sizeof3.c ├── ssa-test.c ├── ssa-test2.c ├── ssa2.c ├── ssa3.c ├── ssa4.c ├── ssa5.c ├── stack.c ├── static.c ├── static1.c ├── static2.c ├── strcpy.c ├── string1.c ├── string2.c ├── stringsize.c ├── strloop.c ├── strloop3.c ├── struct1.c ├── struct2.c ├── struct_init.c ├── structassign.c ├── switch_default_parse_bug.c ├── sync-1.c ├── sync-2.c ├── sync-3.c ├── tags.c ├── task.c ├── tempname.c ├── testharness.h ├── typeof1.c ├── typespec1.c ├── unimplemented.c ├── union1.c ├── union2.c ├── union3.c ├── union5.c ├── union6.c ├── unioninit.c ├── unsafe1.c ├── va-arg-1.c ├── va-arg-2.c ├── va-arg-7.c ├── va_arg_pack.c ├── var.c ├── var_named_hidden.c ├── vararg1.c ├── vararg10.c ├── vararg2.c ├── vararg3.c ├── vararg4.c ├── vararg5.c ├── vararg5.h ├── vararg6.c ├── vararg7.c ├── varargauto1.c ├── varied.c ├── version.c ├── void.c ├── voidarg.c ├── voidstar.c ├── voidtypedef.c ├── vsp.c ├── warnings-cast.c ├── warnings-noreturn.c ├── warnings-unused-label.c ├── wchar-bad.c ├── wchar1.c ├── wchar1_freebsd.c ├── wchar2.c ├── wchar3.c ├── wchar4.c ├── wchar5.c ├── wchar6.c ├── wchar7.c ├── wrongnumargs.c └── zerotags.c ├── small2 ├── Makefile ├── align.c ├── alpha.c ├── arrayinit.c ├── asmfndecl.c ├── attrib.c ├── badasm.c ├── baddef1.c ├── baddef2.c ├── bisonerror.c ├── bogus_redef.c ├── brlock.c ├── bzero.c ├── checkinit.c ├── checkret.c ├── checkstore.c ├── checkstore2.c ├── checkstore3.c ├── checksymbol.c ├── cilreturn.c ├── cmpzero.c ├── cof.c ├── comb1.c ├── comb2.c ├── comb3.c ├── comb4.c ├── conset.c ├── constdecl.c ├── constfold.c ├── constfold2.c ├── ctype.c ├── debug_table.c ├── ehstack.c ├── enumattr.c ├── enumerator_sizeof.c ├── enuminit.c ├── enuminit2.c ├── errorinfn.c ├── extinline.c ├── fig1.c ├── fmtstr.c ├── fseq1fail.c ├── funcname.c ├── funcptr.c ├── funcptr2.c ├── funptr1.c ├── gimpdouble.c ├── globalprob.c ├── globinit.c ├── globtable.c ├── handler1.handlers ├── hashtest.c ├── hufftable.c ├── hufftest.c ├── index1.c ├── initedextern.c ├── invalredef.c ├── invalredef2.c ├── jpeg_compress_struct.c ├── kernel1.c ├── kernel2.c ├── lexnum.c ├── litstruct.c ├── main.c ├── malloc1.c ├── memberofptr.c ├── memset_sizeof.c ├── merge-ar.c ├── merge-twice-1.c ├── merge-twice-2.c ├── merge-twice-3.c ├── mergeinit1.c ├── mergeinit1.h ├── mergeinit2.h ├── mergeinit2_1_reftable.c ├── mergeinit2_2_definition.c ├── mergeinit3.c ├── mergeinit3.h ├── mergeinit4.c ├── mergeinline1.c ├── mergeinline2.c ├── mergestruct1.c ├── mergestruct2.c ├── metabug3.c ├── mode_sizes.c ├── multiplestatics.c ├── neg64.c ├── nested.c ├── nonwilderror.c ├── oldstyle.c ├── open.c ├── override.c ├── partialbracket.c ├── pset.c ├── ptrinint.c ├── putc.c ├── rbtest.c ├── regbeforeassign.c ├── regparm0.c ├── regthenprintf.c ├── runall_misc.c ├── rusage.c ├── s59.c ├── scary.c ├── segfault.c ├── seq_align_malloc.c ├── seq_align_malloc2.c ├── seqalign.c ├── sizeofchar.c ├── sockaddr.c ├── stackptr.c ├── stackptrptr.c ├── struct_cs.c ├── structattr.c ├── structattr2.c ├── structattr3.c ├── switch.c ├── tagfile.txt ├── tagfile1.c ├── tagfile2.c ├── testbtree.c ├── thing.c ├── transpunion.c ├── trivial-tb.c ├── try1.c ├── twoprintfs.c ├── typeof.c ├── undef_func.c ├── uninit_tmp.c ├── union2.c ├── union4.c ├── union5.c ├── union6.c ├── union7.c ├── union8.c ├── unionassign.c ├── unionext.c ├── unscomp.c ├── visit_col.c ├── voidstarint.c ├── volatilestruct.c ├── wes-hashtest.c ├── wes-rbtest.c ├── writev.c └── xcheckers.c ├── teetwo ├── test-bad ├── testcil ├── testcil.bat ├── testcil.h └── testcil.pl /.git-blame-ignore-revs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/.git-blame-ignore-revs -------------------------------------------------------------------------------- /.github/workflows/docs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/.github/workflows/docs.yml -------------------------------------------------------------------------------- /.github/workflows/tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/.github/workflows/tests.yml -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/CHANGES.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/LICENSE -------------------------------------------------------------------------------- /META.goblint-cil.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/META.goblint-cil.template -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/README.md -------------------------------------------------------------------------------- /bin/cilly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/bin/cilly -------------------------------------------------------------------------------- /bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/bin/dune -------------------------------------------------------------------------------- /bin/realGccConfigure.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/bin/realGccConfigure.ml -------------------------------------------------------------------------------- /doc/cil.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/doc/cil.tex -------------------------------------------------------------------------------- /doc/cilcode.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/doc/cilcode.pl -------------------------------------------------------------------------------- /doc/comment.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/doc/comment.sty -------------------------------------------------------------------------------- /doc/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/doc/dune -------------------------------------------------------------------------------- /doc/fullpage.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/doc/fullpage.sty -------------------------------------------------------------------------------- /doc/hevea.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/doc/hevea.sty -------------------------------------------------------------------------------- /doc/html/cil/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/doc/html/cil/dune -------------------------------------------------------------------------------- /doc/html/cil/header.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/doc/html/cil/header.html -------------------------------------------------------------------------------- /doc/html/cil/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/doc/html/cil/index.html -------------------------------------------------------------------------------- /doc/main.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/doc/main.html -------------------------------------------------------------------------------- /doc/program.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/doc/program.sty -------------------------------------------------------------------------------- /doc/proof.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/doc/proof.sty -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/dune-project -------------------------------------------------------------------------------- /goblint-cil.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/goblint-cil.opam -------------------------------------------------------------------------------- /goblint-cil.opam.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/goblint-cil.opam.template -------------------------------------------------------------------------------- /lib/perl5/.gdbinit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/lib/perl5/.gdbinit -------------------------------------------------------------------------------- /lib/perl5/App/Cilly.pm.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/lib/perl5/App/Cilly.pm.in -------------------------------------------------------------------------------- /lib/perl5/App/Cilly/CilCompiler.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/lib/perl5/App/Cilly/CilCompiler.pm -------------------------------------------------------------------------------- /lib/perl5/App/Cilly/KeptFile.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/lib/perl5/App/Cilly/KeptFile.pm -------------------------------------------------------------------------------- /lib/perl5/App/Cilly/OutputFile.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/lib/perl5/App/Cilly/OutputFile.pm -------------------------------------------------------------------------------- /lib/perl5/App/Cilly/TempFile.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/lib/perl5/App/Cilly/TempFile.pm -------------------------------------------------------------------------------- /lib/perl5/App/Cilly/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/lib/perl5/App/Cilly/dune -------------------------------------------------------------------------------- /lib/perl5/App/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/lib/perl5/App/dune -------------------------------------------------------------------------------- /lib/perl5/MANIFEST: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/lib/perl5/MANIFEST -------------------------------------------------------------------------------- /lib/perl5/Makefile.PL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/lib/perl5/Makefile.PL -------------------------------------------------------------------------------- /lib/perl5/patcher: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/lib/perl5/patcher -------------------------------------------------------------------------------- /src/cfg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/cfg.ml -------------------------------------------------------------------------------- /src/cfg.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/cfg.mli -------------------------------------------------------------------------------- /src/check.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/check.ml -------------------------------------------------------------------------------- /src/check.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/check.mli -------------------------------------------------------------------------------- /src/cil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/cil.ml -------------------------------------------------------------------------------- /src/cil.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/cil.mli -------------------------------------------------------------------------------- /src/cilint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/cilint.ml -------------------------------------------------------------------------------- /src/cilint.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/cilint.mli -------------------------------------------------------------------------------- /src/cillower.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/cillower.ml -------------------------------------------------------------------------------- /src/cillower.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/cillower.mli -------------------------------------------------------------------------------- /src/ciloptions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ciloptions.ml -------------------------------------------------------------------------------- /src/ciloptions.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ciloptions.mli -------------------------------------------------------------------------------- /src/ciltools.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ciltools.ml -------------------------------------------------------------------------------- /src/cilutil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/cilutil.ml -------------------------------------------------------------------------------- /src/cilversion.ml: -------------------------------------------------------------------------------- 1 | let cilVersion = "%%VERSION_NUM%%" 2 | -------------------------------------------------------------------------------- /src/dataflow.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/dataflow.ml -------------------------------------------------------------------------------- /src/dataflow.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/dataflow.mli -------------------------------------------------------------------------------- /src/dominators.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/dominators.ml -------------------------------------------------------------------------------- /src/dominators.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/dominators.mli -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/dune -------------------------------------------------------------------------------- /src/escape.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/escape.ml -------------------------------------------------------------------------------- /src/escape.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/escape.mli -------------------------------------------------------------------------------- /src/expcompare.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/expcompare.ml -------------------------------------------------------------------------------- /src/ext/dataslicing/META: -------------------------------------------------------------------------------- 1 | description = "data slicing" 2 | -------------------------------------------------------------------------------- /src/ext/dataslicing/dataslicing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/dataslicing/dataslicing.ml -------------------------------------------------------------------------------- /src/ext/dataslicing/dataslicing.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/dataslicing/dataslicing.mli -------------------------------------------------------------------------------- /src/ext/dataslicing/default: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/ext/dataslicing/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/dataslicing/dune -------------------------------------------------------------------------------- /src/ext/dune: -------------------------------------------------------------------------------- 1 | (include_subdirs no) 2 | -------------------------------------------------------------------------------- /src/ext/liveness/META: -------------------------------------------------------------------------------- 1 | description = "spit out live variables at a label" 2 | -------------------------------------------------------------------------------- /src/ext/liveness/default: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/ext/liveness/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/liveness/dune -------------------------------------------------------------------------------- /src/ext/liveness/liveness.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/liveness/liveness.ml -------------------------------------------------------------------------------- /src/ext/liveness/usedef.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/liveness/usedef.ml -------------------------------------------------------------------------------- /src/ext/makecfg/META: -------------------------------------------------------------------------------- 1 | description = "make the program look more like a CFG" 2 | -------------------------------------------------------------------------------- /src/ext/makecfg/default: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/ext/makecfg/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/makecfg/dune -------------------------------------------------------------------------------- /src/ext/makecfg/makeCFG.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/makecfg/makeCFG.ml -------------------------------------------------------------------------------- /src/ext/pta/META: -------------------------------------------------------------------------------- 1 | description = "alias analysis" 2 | -------------------------------------------------------------------------------- /src/ext/pta/default: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/ext/pta/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/pta/dune -------------------------------------------------------------------------------- /src/ext/pta/golf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/pta/golf.ml -------------------------------------------------------------------------------- /src/ext/pta/golf.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/pta/golf.mli -------------------------------------------------------------------------------- /src/ext/pta/olf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/pta/olf.ml -------------------------------------------------------------------------------- /src/ext/pta/olf.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/pta/olf.mli -------------------------------------------------------------------------------- /src/ext/pta/ptranal.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/pta/ptranal.ml -------------------------------------------------------------------------------- /src/ext/pta/ptranal.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/pta/ptranal.mli -------------------------------------------------------------------------------- /src/ext/pta/setp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/pta/setp.ml -------------------------------------------------------------------------------- /src/ext/pta/setp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/pta/setp.mli -------------------------------------------------------------------------------- /src/ext/pta/steensgaard.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/pta/steensgaard.ml -------------------------------------------------------------------------------- /src/ext/pta/steensgaard.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/pta/steensgaard.mli -------------------------------------------------------------------------------- /src/ext/pta/uref.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/pta/uref.ml -------------------------------------------------------------------------------- /src/ext/pta/uref.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/pta/uref.mli -------------------------------------------------------------------------------- /src/ext/syntacticsearch/META: -------------------------------------------------------------------------------- 1 | description = "Syntactic Search in CIL programs" 2 | -------------------------------------------------------------------------------- /src/ext/syntacticsearch/codeQuery.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/syntacticsearch/codeQuery.ml -------------------------------------------------------------------------------- /src/ext/syntacticsearch/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/syntacticsearch/dune -------------------------------------------------------------------------------- /src/ext/syntacticsearch/funcDatatype.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/syntacticsearch/funcDatatype.ml -------------------------------------------------------------------------------- /src/ext/syntacticsearch/funcFunction.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/syntacticsearch/funcFunction.ml -------------------------------------------------------------------------------- /src/ext/syntacticsearch/funcVar.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/syntacticsearch/funcVar.ml -------------------------------------------------------------------------------- /src/ext/syntacticsearch/queryMapping.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/syntacticsearch/queryMapping.ml -------------------------------------------------------------------------------- /src/ext/syntacticsearch/resultPrinter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/syntacticsearch/resultPrinter.ml -------------------------------------------------------------------------------- /src/ext/zrapp/META: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/zrapp/META -------------------------------------------------------------------------------- /src/ext/zrapp/availexps.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/zrapp/availexps.ml -------------------------------------------------------------------------------- /src/ext/zrapp/availexpslv.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/zrapp/availexpslv.ml -------------------------------------------------------------------------------- /src/ext/zrapp/deadcodeelim.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/zrapp/deadcodeelim.ml -------------------------------------------------------------------------------- /src/ext/zrapp/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/zrapp/dune -------------------------------------------------------------------------------- /src/ext/zrapp/reachingdefs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/zrapp/reachingdefs.ml -------------------------------------------------------------------------------- /src/ext/zrapp/rmciltmps.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/zrapp/rmciltmps.ml -------------------------------------------------------------------------------- /src/ext/zrapp/zrapp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/zrapp/zrapp.ml -------------------------------------------------------------------------------- /src/ext/zrapp/zrapp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ext/zrapp/zrapp.mli -------------------------------------------------------------------------------- /src/feature.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/feature.ml -------------------------------------------------------------------------------- /src/feature.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/feature.mli -------------------------------------------------------------------------------- /src/formatcil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/formatcil.ml -------------------------------------------------------------------------------- /src/formatcil.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/formatcil.mli -------------------------------------------------------------------------------- /src/formatlex.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/formatlex.mll -------------------------------------------------------------------------------- /src/formatparse.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/formatparse.mly -------------------------------------------------------------------------------- /src/frontc/cabs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/frontc/cabs.ml -------------------------------------------------------------------------------- /src/frontc/cabs2cil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/frontc/cabs2cil.ml -------------------------------------------------------------------------------- /src/frontc/cabs2cil.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/frontc/cabs2cil.mli -------------------------------------------------------------------------------- /src/frontc/cabshelper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/frontc/cabshelper.ml -------------------------------------------------------------------------------- /src/frontc/cabsvisit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/frontc/cabsvisit.ml -------------------------------------------------------------------------------- /src/frontc/cabsvisit.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/frontc/cabsvisit.mli -------------------------------------------------------------------------------- /src/frontc/clexer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/frontc/clexer.mli -------------------------------------------------------------------------------- /src/frontc/clexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/frontc/clexer.mll -------------------------------------------------------------------------------- /src/frontc/cparser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/frontc/cparser.mly -------------------------------------------------------------------------------- /src/frontc/cprint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/frontc/cprint.ml -------------------------------------------------------------------------------- /src/frontc/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/frontc/dune -------------------------------------------------------------------------------- /src/frontc/frontc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/frontc/frontc.ml -------------------------------------------------------------------------------- /src/frontc/frontc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/frontc/frontc.mli -------------------------------------------------------------------------------- /src/frontc/lexerhack.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/frontc/lexerhack.ml -------------------------------------------------------------------------------- /src/frontc/patch.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/frontc/patch.ml -------------------------------------------------------------------------------- /src/frontc/patch.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/frontc/patch.mli -------------------------------------------------------------------------------- /src/frontc/whitetrack.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/frontc/whitetrack.ml -------------------------------------------------------------------------------- /src/frontc/whitetrack.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/frontc/whitetrack.mli -------------------------------------------------------------------------------- /src/goblintCil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/goblintCil.ml -------------------------------------------------------------------------------- /src/machdep-ml.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/machdep-ml.c -------------------------------------------------------------------------------- /src/machdep.cppo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/machdep.cppo.ml -------------------------------------------------------------------------------- /src/machdepArchConfigure.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/machdepArchConfigure.ml -------------------------------------------------------------------------------- /src/machdepConfigure.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/machdepConfigure.ml -------------------------------------------------------------------------------- /src/machdepenv.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/machdepenv.ml -------------------------------------------------------------------------------- /src/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/main.ml -------------------------------------------------------------------------------- /src/mainFeature.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/mainFeature.ml -------------------------------------------------------------------------------- /src/mainFeature.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/mainFeature.mli -------------------------------------------------------------------------------- /src/mergecil.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/mergecil.ml -------------------------------------------------------------------------------- /src/mergecil.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/mergecil.mli -------------------------------------------------------------------------------- /src/modelConfigure.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/modelConfigure.ml -------------------------------------------------------------------------------- /src/ocamlutil/alpha.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/alpha.ml -------------------------------------------------------------------------------- /src/ocamlutil/alpha.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/alpha.mli -------------------------------------------------------------------------------- /src/ocamlutil/bitmap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/bitmap.ml -------------------------------------------------------------------------------- /src/ocamlutil/bitmap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/bitmap.mli -------------------------------------------------------------------------------- /src/ocamlutil/clist.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/clist.ml -------------------------------------------------------------------------------- /src/ocamlutil/clist.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/clist.mli -------------------------------------------------------------------------------- /src/ocamlutil/errormsg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/errormsg.ml -------------------------------------------------------------------------------- /src/ocamlutil/errormsg.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/errormsg.mli -------------------------------------------------------------------------------- /src/ocamlutil/growArray.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/growArray.ml -------------------------------------------------------------------------------- /src/ocamlutil/growArray.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/growArray.mli -------------------------------------------------------------------------------- /src/ocamlutil/inthash.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/inthash.ml -------------------------------------------------------------------------------- /src/ocamlutil/inthash.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/inthash.mli -------------------------------------------------------------------------------- /src/ocamlutil/longarray.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/longarray.ml -------------------------------------------------------------------------------- /src/ocamlutil/longarray.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/longarray.mli -------------------------------------------------------------------------------- /src/ocamlutil/pretty.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/pretty.ml -------------------------------------------------------------------------------- /src/ocamlutil/pretty.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/pretty.mli -------------------------------------------------------------------------------- /src/ocamlutil/stats.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/stats.ml -------------------------------------------------------------------------------- /src/ocamlutil/stats.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/stats.mli -------------------------------------------------------------------------------- /src/ocamlutil/trace.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/trace.ml -------------------------------------------------------------------------------- /src/ocamlutil/trace.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/trace.mli -------------------------------------------------------------------------------- /src/ocamlutil/util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/util.ml -------------------------------------------------------------------------------- /src/ocamlutil/util.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/ocamlutil/util.mli -------------------------------------------------------------------------------- /src/rmUnused.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/rmUnused.ml -------------------------------------------------------------------------------- /src/rmUnused.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/src/rmUnused.mli -------------------------------------------------------------------------------- /test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/Makefile -------------------------------------------------------------------------------- /test/Makefile.gcc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/Makefile.gcc -------------------------------------------------------------------------------- /test/RegTest.pm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/RegTest.pm -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/dune -------------------------------------------------------------------------------- /test/runall.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/runall.pl -------------------------------------------------------------------------------- /test/small1/.gdbinit: -------------------------------------------------------------------------------- 1 | # .gdbinit 2 | 3 | file vararg1.exe 4 | break main 5 | run 6 | -------------------------------------------------------------------------------- /test/small1/GRT.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/GRT.c -------------------------------------------------------------------------------- /test/small1/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/Makefile -------------------------------------------------------------------------------- /test/small1/addr-array.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/addr-array.c -------------------------------------------------------------------------------- /test/small1/addr-string.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/addr-string.c -------------------------------------------------------------------------------- /test/small1/addrof3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/addrof3.c -------------------------------------------------------------------------------- /test/small1/align1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/align1.c -------------------------------------------------------------------------------- /test/small1/align2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/align2.c -------------------------------------------------------------------------------- /test/small1/align3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/align3.c -------------------------------------------------------------------------------- /test/small1/alignas.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/alignas.c -------------------------------------------------------------------------------- /test/small1/alignas_proper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/alignas_proper.c -------------------------------------------------------------------------------- /test/small1/apachebits.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/apachebits.c -------------------------------------------------------------------------------- /test/small1/apachebuf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/apachebuf.c -------------------------------------------------------------------------------- /test/small1/apachefptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/apachefptr.c -------------------------------------------------------------------------------- /test/small1/argcast.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/argcast.c -------------------------------------------------------------------------------- /test/small1/array-args.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/array-args.c -------------------------------------------------------------------------------- /test/small1/array-size-trick.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/array-size-trick.c -------------------------------------------------------------------------------- /test/small1/array1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/array1.c -------------------------------------------------------------------------------- /test/small1/array2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/array2.c -------------------------------------------------------------------------------- /test/small1/array_formal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/array_formal.c -------------------------------------------------------------------------------- /test/small1/array_multi_varsize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/array_multi_varsize.c -------------------------------------------------------------------------------- /test/small1/array_varsize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/array_varsize.c -------------------------------------------------------------------------------- /test/small1/arrayinitsize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/arrayinitsize.c -------------------------------------------------------------------------------- /test/small1/arrsize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/arrsize.c -------------------------------------------------------------------------------- /test/small1/asm1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/asm1.c -------------------------------------------------------------------------------- /test/small1/asm2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/asm2.c -------------------------------------------------------------------------------- /test/small1/asm3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/asm3.c -------------------------------------------------------------------------------- /test/small1/asm4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/asm4.c -------------------------------------------------------------------------------- /test/small1/asm5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/asm5.c -------------------------------------------------------------------------------- /test/small1/asm_emptyclobberallowed.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/asm_emptyclobberallowed.c -------------------------------------------------------------------------------- /test/small1/assign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/assign.c -------------------------------------------------------------------------------- /test/small1/attr-assign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/attr-assign.c -------------------------------------------------------------------------------- /test/small1/attr-enumerator.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/attr-enumerator.c -------------------------------------------------------------------------------- /test/small1/attr-in-decllist.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/attr-in-decllist.c -------------------------------------------------------------------------------- /test/small1/attr10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/attr10.c -------------------------------------------------------------------------------- /test/small1/attr11.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/attr11.c -------------------------------------------------------------------------------- /test/small1/attr12.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/attr12.c -------------------------------------------------------------------------------- /test/small1/attr13.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/attr13.c -------------------------------------------------------------------------------- /test/small1/attr2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/attr2.c -------------------------------------------------------------------------------- /test/small1/attr3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/attr3.c -------------------------------------------------------------------------------- /test/small1/attr4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/attr4.c -------------------------------------------------------------------------------- /test/small1/attr5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/attr5.c -------------------------------------------------------------------------------- /test/small1/attr6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/attr6.c -------------------------------------------------------------------------------- /test/small1/attr7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/attr7.c -------------------------------------------------------------------------------- /test/small1/attr8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/attr8.c -------------------------------------------------------------------------------- /test/small1/attr9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/attr9.c -------------------------------------------------------------------------------- /test/small1/bf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/bf.c -------------------------------------------------------------------------------- /test/small1/bind-formatstring.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/bind-formatstring.c -------------------------------------------------------------------------------- /test/small1/bind-used-not-defined.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/bind-used-not-defined.c -------------------------------------------------------------------------------- /test/small1/bitfield.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/bitfield.c -------------------------------------------------------------------------------- /test/small1/bitfield0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/bitfield0.c -------------------------------------------------------------------------------- /test/small1/bitfield2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/bitfield2.c -------------------------------------------------------------------------------- /test/small1/bitfield3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/bitfield3.c -------------------------------------------------------------------------------- /test/small1/blockattr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/blockattr.c -------------------------------------------------------------------------------- /test/small1/blockattr2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/blockattr2.c -------------------------------------------------------------------------------- /test/small1/bool.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/bool.c -------------------------------------------------------------------------------- /test/small1/booleanOp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/booleanOp.c -------------------------------------------------------------------------------- /test/small1/break1.c: -------------------------------------------------------------------------------- 1 | int main() { 2 | break; 3 | } 4 | -------------------------------------------------------------------------------- /test/small1/builtin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/builtin.c -------------------------------------------------------------------------------- /test/small1/builtin2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/builtin2.c -------------------------------------------------------------------------------- /test/small1/builtin3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/builtin3.c -------------------------------------------------------------------------------- /test/small1/builtin4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/builtin4.c -------------------------------------------------------------------------------- /test/small1/builtin5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/builtin5.c -------------------------------------------------------------------------------- /test/small1/builtin6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/builtin6.c -------------------------------------------------------------------------------- /test/small1/builtin_choose_expr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/builtin_choose_expr.c -------------------------------------------------------------------------------- /test/small1/builtin_object_size.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/builtin_object_size.c -------------------------------------------------------------------------------- /test/small1/c11-align-of.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/c11-align-of.c -------------------------------------------------------------------------------- /test/small1/c11-atomic-store.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/c11-atomic-store.c -------------------------------------------------------------------------------- /test/small1/c11-atomic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/c11-atomic.c -------------------------------------------------------------------------------- /test/small1/c11-caserange.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/c11-caserange.c -------------------------------------------------------------------------------- /test/small1/c11-extendedFloat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/c11-extendedFloat.c -------------------------------------------------------------------------------- /test/small1/c11-generic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/c11-generic.c -------------------------------------------------------------------------------- /test/small1/c11-noreturn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/c11-noreturn.c -------------------------------------------------------------------------------- /test/small1/c11-static-assert.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/c11-static-assert.c -------------------------------------------------------------------------------- /test/small1/c99-bool.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/c99-bool.c -------------------------------------------------------------------------------- /test/small1/c99-complex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/c99-complex.c -------------------------------------------------------------------------------- /test/small1/c99-fixed-width-int.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/c99-fixed-width-int.c -------------------------------------------------------------------------------- /test/small1/c99-float-pragma.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/c99-float-pragma.c -------------------------------------------------------------------------------- /test/small1/c99-predefined.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/c99-predefined.c -------------------------------------------------------------------------------- /test/small1/c99-struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/c99-struct.c -------------------------------------------------------------------------------- /test/small1/c99-tgmath.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/c99-tgmath.c -------------------------------------------------------------------------------- /test/small1/c99-tgmath2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/c99-tgmath2.c -------------------------------------------------------------------------------- /test/small1/c99-universal-character-names.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/c99-universal-character-names.c -------------------------------------------------------------------------------- /test/small1/call2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/call2.c -------------------------------------------------------------------------------- /test/small1/case_then_default_in_switch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/case_then_default_in_switch.c -------------------------------------------------------------------------------- /test/small1/caserange.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/caserange.c -------------------------------------------------------------------------------- /test/small1/cast1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/cast1.c -------------------------------------------------------------------------------- /test/small1/cast2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/cast2.c -------------------------------------------------------------------------------- /test/small1/cast3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/cast3.c -------------------------------------------------------------------------------- /test/small1/cast4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/cast4.c -------------------------------------------------------------------------------- /test/small1/cast8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/cast8.c -------------------------------------------------------------------------------- /test/small1/castcall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/castcall.c -------------------------------------------------------------------------------- /test/small1/castincr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/castincr.c -------------------------------------------------------------------------------- /test/small1/castunion.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/castunion.c -------------------------------------------------------------------------------- /test/small1/clang-c11-generic-1-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/clang-c11-generic-1-1.c -------------------------------------------------------------------------------- /test/small1/clang-c11-generic-1-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/clang-c11-generic-1-2.c -------------------------------------------------------------------------------- /test/small1/clang-c11-generic-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/clang-c11-generic-2.c -------------------------------------------------------------------------------- /test/small1/combine-c99-mergeinline1_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99-mergeinline1_1.c -------------------------------------------------------------------------------- /test/small1/combine-c99-mergeinline1_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99-mergeinline1_2.c -------------------------------------------------------------------------------- /test/small1/combine-c99-mergeinline2_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99-mergeinline2_1.c -------------------------------------------------------------------------------- /test/small1/combine-c99-mergeinline2_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99-mergeinline2_2.c -------------------------------------------------------------------------------- /test/small1/combine-c99-mergeinline3_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99-mergeinline3_1.c -------------------------------------------------------------------------------- /test/small1/combine-c99-mergeinline3_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99-mergeinline3_2.c -------------------------------------------------------------------------------- /test/small1/combine-c99-mergeinline4_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99-mergeinline4_1.c -------------------------------------------------------------------------------- /test/small1/combine-c99-mergeinline4_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99-mergeinline4_2.c -------------------------------------------------------------------------------- /test/small1/combine-c99-mergeinline5_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99-mergeinline5_1.c -------------------------------------------------------------------------------- /test/small1/combine-c99-mergeinline5_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99-mergeinline5_2.c -------------------------------------------------------------------------------- /test/small1/combine-c99-mergeinline6_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99-mergeinline6_1.c -------------------------------------------------------------------------------- /test/small1/combine-c99-mergeinline6_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99-mergeinline6_2.c -------------------------------------------------------------------------------- /test/small1/combine-c99-mergeinline7.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99-mergeinline7.h -------------------------------------------------------------------------------- /test/small1/combine-c99-mergeinline7_1.c: -------------------------------------------------------------------------------- 1 | #include "combine-c99-mergeinline7.h" 2 | -------------------------------------------------------------------------------- /test/small1/combine-c99-mergeinline7_2.c: -------------------------------------------------------------------------------- 1 | #include "combine-c99-mergeinline7.h" 2 | 3 | int main() { 4 | return add(-3, 3); 5 | } 6 | -------------------------------------------------------------------------------- /test/small1/combine-c99inline1_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline1_1.c -------------------------------------------------------------------------------- /test/small1/combine-c99inline1_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline1_2.c -------------------------------------------------------------------------------- /test/small1/combine-c99inline2_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline2_1.c -------------------------------------------------------------------------------- /test/small1/combine-c99inline2_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline2_2.c -------------------------------------------------------------------------------- /test/small1/combine-c99inline3_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline3_1.c -------------------------------------------------------------------------------- /test/small1/combine-c99inline3_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline3_2.c -------------------------------------------------------------------------------- /test/small1/combine-c99inline4_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline4_1.c -------------------------------------------------------------------------------- /test/small1/combine-c99inline4_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline4_2.c -------------------------------------------------------------------------------- /test/small1/combine-c99inline5_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline5_1.c -------------------------------------------------------------------------------- /test/small1/combine-c99inline5_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline5_2.c -------------------------------------------------------------------------------- /test/small1/combine-c99inline6_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline6_1.c -------------------------------------------------------------------------------- /test/small1/combine-c99inline6_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline6_2.c -------------------------------------------------------------------------------- /test/small1/combine-c99inline7_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline7_1.c -------------------------------------------------------------------------------- /test/small1/combine-c99inline7_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline7_2.c -------------------------------------------------------------------------------- /test/small1/combine-c99inline7_3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline7_3.c -------------------------------------------------------------------------------- /test/small1/combine-c99inline8_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline8_1.c -------------------------------------------------------------------------------- /test/small1/combine-c99inline8_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline8_2.c -------------------------------------------------------------------------------- /test/small1/combine-c99inline8_3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline8_3.c -------------------------------------------------------------------------------- /test/small1/combine-c99inline9.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline9.h -------------------------------------------------------------------------------- /test/small1/combine-c99inline9_1.c: -------------------------------------------------------------------------------- 1 | #include "combine-c99inline9.h" 2 | -------------------------------------------------------------------------------- /test/small1/combine-c99inline9_2.c: -------------------------------------------------------------------------------- 1 | #include "combine-c99inline9.h" 2 | 3 | int main() { 4 | return add(-3, 3); 5 | } 6 | -------------------------------------------------------------------------------- /test/small1/combine-c99inline_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline_1.c -------------------------------------------------------------------------------- /test/small1/combine-c99inline_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine-c99inline_2.c -------------------------------------------------------------------------------- /test/small1/combine10_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine10_1.c -------------------------------------------------------------------------------- /test/small1/combine10_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine10_2.c -------------------------------------------------------------------------------- /test/small1/combine10_3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine10_3.c -------------------------------------------------------------------------------- /test/small1/combine11_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine11_1.c -------------------------------------------------------------------------------- /test/small1/combine11_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine11_2.c -------------------------------------------------------------------------------- /test/small1/combine12_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine12_1.c -------------------------------------------------------------------------------- /test/small1/combine12_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine12_2.c -------------------------------------------------------------------------------- /test/small1/combine13_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine13_1.c -------------------------------------------------------------------------------- /test/small1/combine13_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine13_2.c -------------------------------------------------------------------------------- /test/small1/combine14_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine14_1.c -------------------------------------------------------------------------------- /test/small1/combine14_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine14_2.c -------------------------------------------------------------------------------- /test/small1/combine15_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine15_1.c -------------------------------------------------------------------------------- /test/small1/combine15_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine15_2.c -------------------------------------------------------------------------------- /test/small1/combine16_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine16_1.c -------------------------------------------------------------------------------- /test/small1/combine16_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine16_2.c -------------------------------------------------------------------------------- /test/small1/combine17_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine17_1.c -------------------------------------------------------------------------------- /test/small1/combine17_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine17_2.c -------------------------------------------------------------------------------- /test/small1/combine18_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine18_1.c -------------------------------------------------------------------------------- /test/small1/combine18_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine18_2.c -------------------------------------------------------------------------------- /test/small1/combine1_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine1_1.c -------------------------------------------------------------------------------- /test/small1/combine1_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine1_2.c -------------------------------------------------------------------------------- /test/small1/combine1_3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine1_3.c -------------------------------------------------------------------------------- /test/small1/combine20_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine20_1.c -------------------------------------------------------------------------------- /test/small1/combine20_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine20_2.c -------------------------------------------------------------------------------- /test/small1/combine21_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine21_1.c -------------------------------------------------------------------------------- /test/small1/combine21_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine21_2.c -------------------------------------------------------------------------------- /test/small1/combine22_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine22_1.c -------------------------------------------------------------------------------- /test/small1/combine22_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine22_2.c -------------------------------------------------------------------------------- /test/small1/combine2_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine2_1.c -------------------------------------------------------------------------------- /test/small1/combine2_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine2_2.c -------------------------------------------------------------------------------- /test/small1/combine2_3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine2_3.c -------------------------------------------------------------------------------- /test/small1/combine3_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine3_1.c -------------------------------------------------------------------------------- /test/small1/combine3_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine3_2.c -------------------------------------------------------------------------------- /test/small1/combine3_3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine3_3.c -------------------------------------------------------------------------------- /test/small1/combine4_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine4_1.c -------------------------------------------------------------------------------- /test/small1/combine4_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine4_2.c -------------------------------------------------------------------------------- /test/small1/combine5.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine5.h -------------------------------------------------------------------------------- /test/small1/combine5_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine5_1.c -------------------------------------------------------------------------------- /test/small1/combine5_2.c: -------------------------------------------------------------------------------- 1 | #include "combine5.h" 2 | -------------------------------------------------------------------------------- /test/small1/combine5_3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine5_3.c -------------------------------------------------------------------------------- /test/small1/combine6_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine6_1.c -------------------------------------------------------------------------------- /test/small1/combine6_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine6_2.c -------------------------------------------------------------------------------- /test/small1/combine6_3.c: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /test/small1/combine7_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine7_1.c -------------------------------------------------------------------------------- /test/small1/combine7_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine7_2.c -------------------------------------------------------------------------------- /test/small1/combine7_3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine7_3.c -------------------------------------------------------------------------------- /test/small1/combine8_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine8_1.c -------------------------------------------------------------------------------- /test/small1/combine8_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine8_2.c -------------------------------------------------------------------------------- /test/small1/combine9_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine9_1.c -------------------------------------------------------------------------------- /test/small1/combine9_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine9_2.c -------------------------------------------------------------------------------- /test/small1/combine_allocate_1.c: -------------------------------------------------------------------------------- 1 | __inline static void *allocate(unsigned int __8318_34___n ) ; 2 | -------------------------------------------------------------------------------- /test/small1/combine_allocate_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine_allocate_2.c -------------------------------------------------------------------------------- /test/small1/combine_copyptrs_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine_copyptrs_1.c -------------------------------------------------------------------------------- /test/small1/combine_copyptrs_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine_copyptrs_2.c -------------------------------------------------------------------------------- /test/small1/combine_init_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine_init_1.c -------------------------------------------------------------------------------- /test/small1/combine_init_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine_init_2.c -------------------------------------------------------------------------------- /test/small1/combine_node_alloc_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine_node_alloc_1.c -------------------------------------------------------------------------------- /test/small1/combine_node_alloc_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine_node_alloc_2.c -------------------------------------------------------------------------------- /test/small1/combine_samefn_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine_samefn_1.c -------------------------------------------------------------------------------- /test/small1/combine_samefn_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine_samefn_2.c -------------------------------------------------------------------------------- /test/small1/combine_sbumpB_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine_sbumpB_1.c -------------------------------------------------------------------------------- /test/small1/combine_sbumpB_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine_sbumpB_2.c -------------------------------------------------------------------------------- /test/small1/combine_sbumpB_3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine_sbumpB_3.c -------------------------------------------------------------------------------- /test/small1/combine_sbump_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine_sbump_1.c -------------------------------------------------------------------------------- /test/small1/combine_sbump_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine_sbump_2.c -------------------------------------------------------------------------------- /test/small1/combine_syserr_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine_syserr_1.c -------------------------------------------------------------------------------- /test/small1/combine_syserr_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine_syserr_2.c -------------------------------------------------------------------------------- /test/small1/combine_theFunc_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine_theFunc_1.c -------------------------------------------------------------------------------- /test/small1/combine_theFunc_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine_theFunc_2.c -------------------------------------------------------------------------------- /test/small1/combine_theFunc_3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combine_theFunc_3.c -------------------------------------------------------------------------------- /test/small1/combinealias_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combinealias_1.c -------------------------------------------------------------------------------- /test/small1/combinealias_2.c: -------------------------------------------------------------------------------- 1 | 2 | // For linking with combinealias_1.c 3 | int main() { 4 | foo(42); 5 | return 0; 6 | } 7 | -------------------------------------------------------------------------------- /test/small1/combineenum1_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combineenum1_1.c -------------------------------------------------------------------------------- /test/small1/combineenum1_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combineenum1_2.c -------------------------------------------------------------------------------- /test/small1/combineenum2_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combineenum2_1.c -------------------------------------------------------------------------------- /test/small1/combineenum2_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combineenum2_2.c -------------------------------------------------------------------------------- /test/small1/combineenum3_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combineenum3_1.c -------------------------------------------------------------------------------- /test/small1/combineenum3_2.c: -------------------------------------------------------------------------------- 1 | enum e1 { 2 | FIRST = 0, 3 | SECOND, 4 | } x2; 5 | -------------------------------------------------------------------------------- /test/small1/combinegnuinline_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combinegnuinline_1.c -------------------------------------------------------------------------------- /test/small1/combinegnuinline_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combinegnuinline_2.c -------------------------------------------------------------------------------- /test/small1/combinegnuinline_header.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combinegnuinline_header.h -------------------------------------------------------------------------------- /test/small1/combineinline1_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combineinline1_1.c -------------------------------------------------------------------------------- /test/small1/combineinline1_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combineinline1_2.c -------------------------------------------------------------------------------- /test/small1/combineinline2_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combineinline2_1.c -------------------------------------------------------------------------------- /test/small1/combineinline2_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combineinline2_2.c -------------------------------------------------------------------------------- /test/small1/combineinline3_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combineinline3_1.c -------------------------------------------------------------------------------- /test/small1/combineinline3_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combineinline3_2.c -------------------------------------------------------------------------------- /test/small1/combineinline4_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combineinline4_1.c -------------------------------------------------------------------------------- /test/small1/combineinline4_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combineinline4_2.c -------------------------------------------------------------------------------- /test/small1/combineinline6_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combineinline6_1.c -------------------------------------------------------------------------------- /test/small1/combineinline6_2.c: -------------------------------------------------------------------------------- 1 | // Just an empty file to make sure the merger runs 2 | -------------------------------------------------------------------------------- /test/small1/combinelibrik_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combinelibrik_1.c -------------------------------------------------------------------------------- /test/small1/combinelibrik_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combinelibrik_2.c -------------------------------------------------------------------------------- /test/small1/combinemerge1_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combinemerge1_1.c -------------------------------------------------------------------------------- /test/small1/combinemerge1_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combinemerge1_2.c -------------------------------------------------------------------------------- /test/small1/combinemerge1_3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combinemerge1_3.c -------------------------------------------------------------------------------- /test/small1/combinestruct1_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combinestruct1_1.c -------------------------------------------------------------------------------- /test/small1/combinestruct1_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combinestruct1_2.c -------------------------------------------------------------------------------- /test/small1/combinetaggedfn_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combinetaggedfn_1.c -------------------------------------------------------------------------------- /test/small1/combinetaggedfn_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/combinetaggedfn_2.c -------------------------------------------------------------------------------- /test/small1/comma1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/comma1.c -------------------------------------------------------------------------------- /test/small1/comparisons.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/comparisons.c -------------------------------------------------------------------------------- /test/small1/compound1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/compound1.c -------------------------------------------------------------------------------- /test/small1/compound2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/compound2.c -------------------------------------------------------------------------------- /test/small1/cond1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/cond1.c -------------------------------------------------------------------------------- /test/small1/cond2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/cond2.c -------------------------------------------------------------------------------- /test/small1/const-array-init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/const-array-init.c -------------------------------------------------------------------------------- /test/small1/const-compound-cast.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/const-compound-cast.c -------------------------------------------------------------------------------- /test/small1/const-struct-init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/const-struct-init.c -------------------------------------------------------------------------------- /test/small1/const1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/const1.c -------------------------------------------------------------------------------- /test/small1/const10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/const10.c -------------------------------------------------------------------------------- /test/small1/const11.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/const11.c -------------------------------------------------------------------------------- /test/small1/const12.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/const12.c -------------------------------------------------------------------------------- /test/small1/const13.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/const13.c -------------------------------------------------------------------------------- /test/small1/const14.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/const14.c -------------------------------------------------------------------------------- /test/small1/const15.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/const15.c -------------------------------------------------------------------------------- /test/small1/const16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/const16.c -------------------------------------------------------------------------------- /test/small1/const2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/const2.c -------------------------------------------------------------------------------- /test/small1/const3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/const3.c -------------------------------------------------------------------------------- /test/small1/const4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/const4.c -------------------------------------------------------------------------------- /test/small1/const5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/const5.c -------------------------------------------------------------------------------- /test/small1/const6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/const6.c -------------------------------------------------------------------------------- /test/small1/const7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/const7.c -------------------------------------------------------------------------------- /test/small1/const8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/const8.c -------------------------------------------------------------------------------- /test/small1/const9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/const9.c -------------------------------------------------------------------------------- /test/small1/constfold.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/constfold.c -------------------------------------------------------------------------------- /test/small1/constfold2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/constfold2.c -------------------------------------------------------------------------------- /test/small1/constprop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/constprop.c -------------------------------------------------------------------------------- /test/small1/constrexpr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/constrexpr.c -------------------------------------------------------------------------------- /test/small1/cpp-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/cpp-2.c -------------------------------------------------------------------------------- /test/small1/cpp-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/cpp-3.c -------------------------------------------------------------------------------- /test/small1/decl2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/decl2.c -------------------------------------------------------------------------------- /test/small1/decl_mix_stmt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/decl_mix_stmt.c -------------------------------------------------------------------------------- /test/small1/deref.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/deref.c -------------------------------------------------------------------------------- /test/small1/do_while_cont.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/do_while_cont.c -------------------------------------------------------------------------------- /test/small1/duplicate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/duplicate.c -------------------------------------------------------------------------------- /test/small1/empty.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/empty.i -------------------------------------------------------------------------------- /test/small1/enum-scope.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/enum-scope.c -------------------------------------------------------------------------------- /test/small1/enum.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/enum.c -------------------------------------------------------------------------------- /test/small1/enum2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/enum2.c -------------------------------------------------------------------------------- /test/small1/enum3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/enum3.c -------------------------------------------------------------------------------- /test/small1/enum3a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/enum3a.c -------------------------------------------------------------------------------- /test/small1/enum3b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/enum3b.c -------------------------------------------------------------------------------- /test/small1/enum3c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/enum3c.c -------------------------------------------------------------------------------- /test/small1/enum3d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/enum3d.c -------------------------------------------------------------------------------- /test/small1/enum3e.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/enum3e.c -------------------------------------------------------------------------------- /test/small1/enum3f.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/enum3f.c -------------------------------------------------------------------------------- /test/small1/enum3g.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/enum3g.c -------------------------------------------------------------------------------- /test/small1/enum3h.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/enum3h.c -------------------------------------------------------------------------------- /test/small1/enum3i.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/enum3i.c -------------------------------------------------------------------------------- /test/small1/enum3j.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/enum3j.c -------------------------------------------------------------------------------- /test/small1/enum3k.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/enum3k.c -------------------------------------------------------------------------------- /test/small1/enum3l.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/enum3l.c -------------------------------------------------------------------------------- /test/small1/escapes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/escapes.c -------------------------------------------------------------------------------- /test/small1/extern1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/extern1.c -------------------------------------------------------------------------------- /test/small1/extern_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/extern_init.c -------------------------------------------------------------------------------- /test/small1/extinline2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/extinline2.c -------------------------------------------------------------------------------- /test/small1/extinline3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/extinline3.c -------------------------------------------------------------------------------- /test/small1/fallthrough-label.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/fallthrough-label.c -------------------------------------------------------------------------------- /test/small1/flexible-array-member-bad.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/flexible-array-member-bad.c -------------------------------------------------------------------------------- /test/small1/flexible-array-member.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/flexible-array-member.c -------------------------------------------------------------------------------- /test/small1/float.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/float.c -------------------------------------------------------------------------------- /test/small1/float2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/float2.c -------------------------------------------------------------------------------- /test/small1/float3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/float3.c -------------------------------------------------------------------------------- /test/small1/for1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/for1.c -------------------------------------------------------------------------------- /test/small1/formalscope.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/formalscope.c -------------------------------------------------------------------------------- /test/small1/func.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/func.c -------------------------------------------------------------------------------- /test/small1/func10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/func10.c -------------------------------------------------------------------------------- /test/small1/func2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/func2.c -------------------------------------------------------------------------------- /test/small1/func3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/func3.c -------------------------------------------------------------------------------- /test/small1/func4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/func4.c -------------------------------------------------------------------------------- /test/small1/funcarg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/funcarg.c -------------------------------------------------------------------------------- /test/small1/funptr1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/funptr1.c -------------------------------------------------------------------------------- /test/small1/gcc-c11-generic-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/gcc-c11-generic-1.c -------------------------------------------------------------------------------- /test/small1/gcc-c11-generic-2-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/gcc-c11-generic-2-1.c -------------------------------------------------------------------------------- /test/small1/gcc-c11-generic-2-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/gcc-c11-generic-2-2.c -------------------------------------------------------------------------------- /test/small1/gcc-c11-generic-2-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/gcc-c11-generic-2-3.c -------------------------------------------------------------------------------- /test/small1/gcc-c11-generic-2-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/gcc-c11-generic-2-4.c -------------------------------------------------------------------------------- /test/small1/gcc-c11-generic-2-5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/gcc-c11-generic-2-5.c -------------------------------------------------------------------------------- /test/small1/gcc-c11-generic-2-6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/gcc-c11-generic-2-6.c -------------------------------------------------------------------------------- /test/small1/gcc-c11-generic-2-7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/gcc-c11-generic-2-7.c -------------------------------------------------------------------------------- /test/small1/gcc-c11-generic-3-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/gcc-c11-generic-3-1.c -------------------------------------------------------------------------------- /test/small1/gcc-c11-generic-3-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/gcc-c11-generic-3-2.c -------------------------------------------------------------------------------- /test/small1/gcc-c11-generic-3-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/gcc-c11-generic-3-3.c -------------------------------------------------------------------------------- /test/small1/gcc-c11-generic-3-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/gcc-c11-generic-3-4.c -------------------------------------------------------------------------------- /test/small1/globals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/globals.c -------------------------------------------------------------------------------- /test/small1/globals2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/globals2.c -------------------------------------------------------------------------------- /test/small1/hello.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/hello.c -------------------------------------------------------------------------------- /test/small1/huff1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/huff1.c -------------------------------------------------------------------------------- /test/small1/init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init.c -------------------------------------------------------------------------------- /test/small1/init1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init1.c -------------------------------------------------------------------------------- /test/small1/init10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init10.c -------------------------------------------------------------------------------- /test/small1/init11.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init11.c -------------------------------------------------------------------------------- /test/small1/init12.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init12.c -------------------------------------------------------------------------------- /test/small1/init13.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init13.c -------------------------------------------------------------------------------- /test/small1/init14.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init14.c -------------------------------------------------------------------------------- /test/small1/init15.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init15.c -------------------------------------------------------------------------------- /test/small1/init16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init16.c -------------------------------------------------------------------------------- /test/small1/init17.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init17.c -------------------------------------------------------------------------------- /test/small1/init18.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init18.c -------------------------------------------------------------------------------- /test/small1/init19.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init19.c -------------------------------------------------------------------------------- /test/small1/init2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init2.c -------------------------------------------------------------------------------- /test/small1/init20.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init20.c -------------------------------------------------------------------------------- /test/small1/init21.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init21.c -------------------------------------------------------------------------------- /test/small1/init22.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init22.c -------------------------------------------------------------------------------- /test/small1/init3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init3.c -------------------------------------------------------------------------------- /test/small1/init4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init4.c -------------------------------------------------------------------------------- /test/small1/init5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init5.c -------------------------------------------------------------------------------- /test/small1/init6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init6.c -------------------------------------------------------------------------------- /test/small1/init7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init7.c -------------------------------------------------------------------------------- /test/small1/init8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init8.c -------------------------------------------------------------------------------- /test/small1/init9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/init9.c -------------------------------------------------------------------------------- /test/small1/initial.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/initial.c -------------------------------------------------------------------------------- /test/small1/inline1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/inline1.c -------------------------------------------------------------------------------- /test/small1/inline2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/inline2.c -------------------------------------------------------------------------------- /test/small1/inline3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/inline3.c -------------------------------------------------------------------------------- /test/small1/jmp_buf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/jmp_buf.c -------------------------------------------------------------------------------- /test/small1/knr1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/knr1.c -------------------------------------------------------------------------------- /test/small1/label1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/label1.c -------------------------------------------------------------------------------- /test/small1/label2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/label2.c -------------------------------------------------------------------------------- /test/small1/label2b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/label2b.c -------------------------------------------------------------------------------- /test/small1/label3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/label3.c -------------------------------------------------------------------------------- /test/small1/label3b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/label3b.c -------------------------------------------------------------------------------- /test/small1/label4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/label4.c -------------------------------------------------------------------------------- /test/small1/label4b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/label4b.c -------------------------------------------------------------------------------- /test/small1/label5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/label5.c -------------------------------------------------------------------------------- /test/small1/label6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/label6.c -------------------------------------------------------------------------------- /test/small1/label7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/label7.c -------------------------------------------------------------------------------- /test/small1/label8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/label8.c -------------------------------------------------------------------------------- /test/small1/label9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/label9.c -------------------------------------------------------------------------------- /test/small1/land_expr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/land_expr.c -------------------------------------------------------------------------------- /test/small1/large_unsigned_long.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/large_unsigned_long.c -------------------------------------------------------------------------------- /test/small1/li.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/li.c -------------------------------------------------------------------------------- /test/small1/lineno.i: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/lineno.i -------------------------------------------------------------------------------- /test/small1/linux_atomic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/linux_atomic.c -------------------------------------------------------------------------------- /test/small1/linux_signal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/linux_signal.c -------------------------------------------------------------------------------- /test/small1/linuxcombine1_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/linuxcombine1_1.c -------------------------------------------------------------------------------- /test/small1/list.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/list.c -------------------------------------------------------------------------------- /test/small1/local.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/local.c -------------------------------------------------------------------------------- /test/small1/local.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/local.h -------------------------------------------------------------------------------- /test/small1/localinit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/localinit.c -------------------------------------------------------------------------------- /test/small1/logical.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/logical.c -------------------------------------------------------------------------------- /test/small1/logical1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/logical1.c -------------------------------------------------------------------------------- /test/small1/logical2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/logical2.c -------------------------------------------------------------------------------- /test/small1/longBlock.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/longBlock.ml -------------------------------------------------------------------------------- /test/small1/lstring.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/lstring.c -------------------------------------------------------------------------------- /test/small1/lval1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/lval1.c -------------------------------------------------------------------------------- /test/small1/macro_hidden.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/macro_hidden.c -------------------------------------------------------------------------------- /test/small1/math1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/math1.c -------------------------------------------------------------------------------- /test/small1/matrix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/matrix.c -------------------------------------------------------------------------------- /test/small1/memcpy1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/memcpy1.c -------------------------------------------------------------------------------- /test/small1/min.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/min.c -------------------------------------------------------------------------------- /test/small1/msvc1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/msvc1.c -------------------------------------------------------------------------------- /test/small1/msvc5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/msvc5.c -------------------------------------------------------------------------------- /test/small1/nan-global.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/nan-global.c -------------------------------------------------------------------------------- /test/small1/noproto.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/noproto.c -------------------------------------------------------------------------------- /test/small1/noproto1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/noproto1.c -------------------------------------------------------------------------------- /test/small1/noproto2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/noproto2.c -------------------------------------------------------------------------------- /test/small1/noreturn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/noreturn.c -------------------------------------------------------------------------------- /test/small1/offsetof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/offsetof.c -------------------------------------------------------------------------------- /test/small1/offsetof1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/offsetof1.c -------------------------------------------------------------------------------- /test/small1/offsetof2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/offsetof2.c -------------------------------------------------------------------------------- /test/small1/offsetof3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/offsetof3.c -------------------------------------------------------------------------------- /test/small1/oom.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/oom.c -------------------------------------------------------------------------------- /test/small1/order.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/order.c -------------------------------------------------------------------------------- /test/small1/outofmem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/outofmem.c -------------------------------------------------------------------------------- /test/small1/p04.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/p04.c -------------------------------------------------------------------------------- /test/small1/packed.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/packed.c -------------------------------------------------------------------------------- /test/small1/packed2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/packed2.c -------------------------------------------------------------------------------- /test/small1/paper1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/paper1.c -------------------------------------------------------------------------------- /test/small1/paper2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/paper2.c -------------------------------------------------------------------------------- /test/small1/percent400.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/percent400.c -------------------------------------------------------------------------------- /test/small1/percentm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/percentm.c -------------------------------------------------------------------------------- /test/small1/perror.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/perror.c -------------------------------------------------------------------------------- /test/small1/perror1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/perror1.c -------------------------------------------------------------------------------- /test/small1/pointers2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/pointers2.c -------------------------------------------------------------------------------- /test/small1/post-assign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/post-assign.c -------------------------------------------------------------------------------- /test/small1/power1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/power1.c -------------------------------------------------------------------------------- /test/small1/printf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/printf.c -------------------------------------------------------------------------------- /test/small1/printf2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/printf2.c -------------------------------------------------------------------------------- /test/small1/printf_const.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/printf_const.c -------------------------------------------------------------------------------- /test/small1/proto1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/proto1.c -------------------------------------------------------------------------------- /test/small1/proto2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/proto2.c -------------------------------------------------------------------------------- /test/small1/pure.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/pure.c -------------------------------------------------------------------------------- /test/small1/question-fold-float.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/question-fold-float.c -------------------------------------------------------------------------------- /test/small1/question.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/question.c -------------------------------------------------------------------------------- /test/small1/question2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/question2.c -------------------------------------------------------------------------------- /test/small1/question3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/question3.c -------------------------------------------------------------------------------- /test/small1/restrict.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/restrict.c -------------------------------------------------------------------------------- /test/small1/restrict1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/restrict1.c -------------------------------------------------------------------------------- /test/small1/return1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/return1.c -------------------------------------------------------------------------------- /test/small1/returnvoid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/returnvoid.c -------------------------------------------------------------------------------- /test/small1/returnvoid1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/returnvoid1.c -------------------------------------------------------------------------------- /test/small1/retval.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/retval.c -------------------------------------------------------------------------------- /test/small1/rmUnused-attr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/rmUnused-attr.c -------------------------------------------------------------------------------- /test/small1/rmUnused1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/rmUnused1.c -------------------------------------------------------------------------------- /test/small1/rmUnused2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/rmUnused2.c -------------------------------------------------------------------------------- /test/small1/scope1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/scope1.c -------------------------------------------------------------------------------- /test/small1/scope10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/scope10.c -------------------------------------------------------------------------------- /test/small1/scope11.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/scope11.c -------------------------------------------------------------------------------- /test/small1/scope12.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/scope12.c -------------------------------------------------------------------------------- /test/small1/scope2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/scope2.c -------------------------------------------------------------------------------- /test/small1/scope3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/scope3.c -------------------------------------------------------------------------------- /test/small1/scope4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/scope4.c -------------------------------------------------------------------------------- /test/small1/scope5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/scope5.c -------------------------------------------------------------------------------- /test/small1/scope6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/scope6.c -------------------------------------------------------------------------------- /test/small1/scope7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/scope7.c -------------------------------------------------------------------------------- /test/small1/scope8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/scope8.c -------------------------------------------------------------------------------- /test/small1/scope9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/scope9.c -------------------------------------------------------------------------------- /test/small1/semicolon.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/semicolon.c -------------------------------------------------------------------------------- /test/small1/shell-escape.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/shell-escape.c -------------------------------------------------------------------------------- /test/small1/signs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/signs.c -------------------------------------------------------------------------------- /test/small1/simon6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/simon6.c -------------------------------------------------------------------------------- /test/small1/sizeof1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/sizeof1.c -------------------------------------------------------------------------------- /test/small1/sizeof2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/sizeof2.c -------------------------------------------------------------------------------- /test/small1/sizeof3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/sizeof3.c -------------------------------------------------------------------------------- /test/small1/ssa-test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/ssa-test.c -------------------------------------------------------------------------------- /test/small1/ssa-test2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/ssa-test2.c -------------------------------------------------------------------------------- /test/small1/ssa2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/ssa2.c -------------------------------------------------------------------------------- /test/small1/ssa3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/ssa3.c -------------------------------------------------------------------------------- /test/small1/ssa4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/ssa4.c -------------------------------------------------------------------------------- /test/small1/ssa5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/ssa5.c -------------------------------------------------------------------------------- /test/small1/stack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/stack.c -------------------------------------------------------------------------------- /test/small1/static.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/static.c -------------------------------------------------------------------------------- /test/small1/static1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/static1.c -------------------------------------------------------------------------------- /test/small1/static2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/static2.c -------------------------------------------------------------------------------- /test/small1/strcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/strcpy.c -------------------------------------------------------------------------------- /test/small1/string1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/string1.c -------------------------------------------------------------------------------- /test/small1/string2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/string2.c -------------------------------------------------------------------------------- /test/small1/stringsize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/stringsize.c -------------------------------------------------------------------------------- /test/small1/strloop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/strloop.c -------------------------------------------------------------------------------- /test/small1/strloop3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/strloop3.c -------------------------------------------------------------------------------- /test/small1/struct1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/struct1.c -------------------------------------------------------------------------------- /test/small1/struct2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/struct2.c -------------------------------------------------------------------------------- /test/small1/struct_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/struct_init.c -------------------------------------------------------------------------------- /test/small1/structassign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/structassign.c -------------------------------------------------------------------------------- /test/small1/switch_default_parse_bug.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/switch_default_parse_bug.c -------------------------------------------------------------------------------- /test/small1/sync-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/sync-1.c -------------------------------------------------------------------------------- /test/small1/sync-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/sync-2.c -------------------------------------------------------------------------------- /test/small1/sync-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/sync-3.c -------------------------------------------------------------------------------- /test/small1/tags.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/tags.c -------------------------------------------------------------------------------- /test/small1/task.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/task.c -------------------------------------------------------------------------------- /test/small1/tempname.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/tempname.c -------------------------------------------------------------------------------- /test/small1/testharness.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/testharness.h -------------------------------------------------------------------------------- /test/small1/typeof1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/typeof1.c -------------------------------------------------------------------------------- /test/small1/typespec1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/typespec1.c -------------------------------------------------------------------------------- /test/small1/unimplemented.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/unimplemented.c -------------------------------------------------------------------------------- /test/small1/union1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/union1.c -------------------------------------------------------------------------------- /test/small1/union2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/union2.c -------------------------------------------------------------------------------- /test/small1/union3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/union3.c -------------------------------------------------------------------------------- /test/small1/union5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/union5.c -------------------------------------------------------------------------------- /test/small1/union6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/union6.c -------------------------------------------------------------------------------- /test/small1/unioninit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/unioninit.c -------------------------------------------------------------------------------- /test/small1/unsafe1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/unsafe1.c -------------------------------------------------------------------------------- /test/small1/va-arg-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/va-arg-1.c -------------------------------------------------------------------------------- /test/small1/va-arg-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/va-arg-2.c -------------------------------------------------------------------------------- /test/small1/va-arg-7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/va-arg-7.c -------------------------------------------------------------------------------- /test/small1/va_arg_pack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/va_arg_pack.c -------------------------------------------------------------------------------- /test/small1/var.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/var.c -------------------------------------------------------------------------------- /test/small1/var_named_hidden.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/var_named_hidden.c -------------------------------------------------------------------------------- /test/small1/vararg1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/vararg1.c -------------------------------------------------------------------------------- /test/small1/vararg10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/vararg10.c -------------------------------------------------------------------------------- /test/small1/vararg2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/vararg2.c -------------------------------------------------------------------------------- /test/small1/vararg3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/vararg3.c -------------------------------------------------------------------------------- /test/small1/vararg4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/vararg4.c -------------------------------------------------------------------------------- /test/small1/vararg5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/vararg5.c -------------------------------------------------------------------------------- /test/small1/vararg5.h: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/small1/vararg6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/vararg6.c -------------------------------------------------------------------------------- /test/small1/vararg7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/vararg7.c -------------------------------------------------------------------------------- /test/small1/varargauto1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/varargauto1.c -------------------------------------------------------------------------------- /test/small1/varied.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/varied.c -------------------------------------------------------------------------------- /test/small1/version.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/version.c -------------------------------------------------------------------------------- /test/small1/void.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/void.c -------------------------------------------------------------------------------- /test/small1/voidarg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/voidarg.c -------------------------------------------------------------------------------- /test/small1/voidstar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/voidstar.c -------------------------------------------------------------------------------- /test/small1/voidtypedef.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/voidtypedef.c -------------------------------------------------------------------------------- /test/small1/vsp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/vsp.c -------------------------------------------------------------------------------- /test/small1/warnings-cast.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/warnings-cast.c -------------------------------------------------------------------------------- /test/small1/warnings-noreturn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/warnings-noreturn.c -------------------------------------------------------------------------------- /test/small1/warnings-unused-label.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/warnings-unused-label.c -------------------------------------------------------------------------------- /test/small1/wchar-bad.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/wchar-bad.c -------------------------------------------------------------------------------- /test/small1/wchar1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/wchar1.c -------------------------------------------------------------------------------- /test/small1/wchar1_freebsd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/wchar1_freebsd.c -------------------------------------------------------------------------------- /test/small1/wchar2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/wchar2.c -------------------------------------------------------------------------------- /test/small1/wchar3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/wchar3.c -------------------------------------------------------------------------------- /test/small1/wchar4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/wchar4.c -------------------------------------------------------------------------------- /test/small1/wchar5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/wchar5.c -------------------------------------------------------------------------------- /test/small1/wchar6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/wchar6.c -------------------------------------------------------------------------------- /test/small1/wchar7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/wchar7.c -------------------------------------------------------------------------------- /test/small1/wrongnumargs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/wrongnumargs.c -------------------------------------------------------------------------------- /test/small1/zerotags.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small1/zerotags.c -------------------------------------------------------------------------------- /test/small2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/Makefile -------------------------------------------------------------------------------- /test/small2/align.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/align.c -------------------------------------------------------------------------------- /test/small2/alpha.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/alpha.c -------------------------------------------------------------------------------- /test/small2/arrayinit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/arrayinit.c -------------------------------------------------------------------------------- /test/small2/asmfndecl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/asmfndecl.c -------------------------------------------------------------------------------- /test/small2/attrib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/attrib.c -------------------------------------------------------------------------------- /test/small2/badasm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/badasm.c -------------------------------------------------------------------------------- /test/small2/baddef1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/baddef1.c -------------------------------------------------------------------------------- /test/small2/baddef2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/baddef2.c -------------------------------------------------------------------------------- /test/small2/bisonerror.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/bisonerror.c -------------------------------------------------------------------------------- /test/small2/bogus_redef.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/bogus_redef.c -------------------------------------------------------------------------------- /test/small2/brlock.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/brlock.c -------------------------------------------------------------------------------- /test/small2/bzero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/bzero.c -------------------------------------------------------------------------------- /test/small2/checkinit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/checkinit.c -------------------------------------------------------------------------------- /test/small2/checkret.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/checkret.c -------------------------------------------------------------------------------- /test/small2/checkstore.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/checkstore.c -------------------------------------------------------------------------------- /test/small2/checkstore2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/checkstore2.c -------------------------------------------------------------------------------- /test/small2/checkstore3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/checkstore3.c -------------------------------------------------------------------------------- /test/small2/checksymbol.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/checksymbol.c -------------------------------------------------------------------------------- /test/small2/cilreturn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/cilreturn.c -------------------------------------------------------------------------------- /test/small2/cmpzero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/cmpzero.c -------------------------------------------------------------------------------- /test/small2/cof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/cof.c -------------------------------------------------------------------------------- /test/small2/comb1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/comb1.c -------------------------------------------------------------------------------- /test/small2/comb2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/comb2.c -------------------------------------------------------------------------------- /test/small2/comb3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/comb3.c -------------------------------------------------------------------------------- /test/small2/comb4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/comb4.c -------------------------------------------------------------------------------- /test/small2/conset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/conset.c -------------------------------------------------------------------------------- /test/small2/constdecl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/constdecl.c -------------------------------------------------------------------------------- /test/small2/constfold.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/constfold.c -------------------------------------------------------------------------------- /test/small2/constfold2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/constfold2.c -------------------------------------------------------------------------------- /test/small2/ctype.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/ctype.c -------------------------------------------------------------------------------- /test/small2/debug_table.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/debug_table.c -------------------------------------------------------------------------------- /test/small2/ehstack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/ehstack.c -------------------------------------------------------------------------------- /test/small2/enumattr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/enumattr.c -------------------------------------------------------------------------------- /test/small2/enumerator_sizeof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/enumerator_sizeof.c -------------------------------------------------------------------------------- /test/small2/enuminit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/enuminit.c -------------------------------------------------------------------------------- /test/small2/enuminit2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/enuminit2.c -------------------------------------------------------------------------------- /test/small2/errorinfn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/errorinfn.c -------------------------------------------------------------------------------- /test/small2/extinline.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/extinline.c -------------------------------------------------------------------------------- /test/small2/fig1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/fig1.c -------------------------------------------------------------------------------- /test/small2/fmtstr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/fmtstr.c -------------------------------------------------------------------------------- /test/small2/fseq1fail.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/fseq1fail.c -------------------------------------------------------------------------------- /test/small2/funcname.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/funcname.c -------------------------------------------------------------------------------- /test/small2/funcptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/funcptr.c -------------------------------------------------------------------------------- /test/small2/funcptr2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/funcptr2.c -------------------------------------------------------------------------------- /test/small2/funptr1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/funptr1.c -------------------------------------------------------------------------------- /test/small2/gimpdouble.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/gimpdouble.c -------------------------------------------------------------------------------- /test/small2/globalprob.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/globalprob.c -------------------------------------------------------------------------------- /test/small2/globinit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/globinit.c -------------------------------------------------------------------------------- /test/small2/globtable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/globtable.c -------------------------------------------------------------------------------- /test/small2/handler1.handlers: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/handler1.handlers -------------------------------------------------------------------------------- /test/small2/hashtest.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/hashtest.c -------------------------------------------------------------------------------- /test/small2/hufftable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/hufftable.c -------------------------------------------------------------------------------- /test/small2/hufftest.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/hufftest.c -------------------------------------------------------------------------------- /test/small2/index1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/index1.c -------------------------------------------------------------------------------- /test/small2/initedextern.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/initedextern.c -------------------------------------------------------------------------------- /test/small2/invalredef.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/invalredef.c -------------------------------------------------------------------------------- /test/small2/invalredef2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/invalredef2.c -------------------------------------------------------------------------------- /test/small2/jpeg_compress_struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/jpeg_compress_struct.c -------------------------------------------------------------------------------- /test/small2/kernel1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/kernel1.c -------------------------------------------------------------------------------- /test/small2/kernel2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/kernel2.c -------------------------------------------------------------------------------- /test/small2/lexnum.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/lexnum.c -------------------------------------------------------------------------------- /test/small2/litstruct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/litstruct.c -------------------------------------------------------------------------------- /test/small2/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/main.c -------------------------------------------------------------------------------- /test/small2/malloc1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/malloc1.c -------------------------------------------------------------------------------- /test/small2/memberofptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/memberofptr.c -------------------------------------------------------------------------------- /test/small2/memset_sizeof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/memset_sizeof.c -------------------------------------------------------------------------------- /test/small2/merge-ar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/merge-ar.c -------------------------------------------------------------------------------- /test/small2/merge-twice-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/merge-twice-1.c -------------------------------------------------------------------------------- /test/small2/merge-twice-2.c: -------------------------------------------------------------------------------- 1 | 2 | 3 | int bar() 4 | { 5 | return 4; 6 | } 7 | -------------------------------------------------------------------------------- /test/small2/merge-twice-3.c: -------------------------------------------------------------------------------- 1 | 2 | 3 | int baz() 4 | { 5 | return 7; 6 | } 7 | -------------------------------------------------------------------------------- /test/small2/mergeinit1.c: -------------------------------------------------------------------------------- 1 | 2 | int f1(void) 3 | { 4 | return(1); 5 | } 6 | 7 | 8 | -------------------------------------------------------------------------------- /test/small2/mergeinit1.h: -------------------------------------------------------------------------------- 1 | 2 | extern int f1(void); 3 | -------------------------------------------------------------------------------- /test/small2/mergeinit2.h: -------------------------------------------------------------------------------- 1 | 2 | extern int (*table[2])(); 3 | -------------------------------------------------------------------------------- /test/small2/mergeinit2_1_reftable.c: -------------------------------------------------------------------------------- 1 | #include "mergeinit2.h" 2 | 3 | -------------------------------------------------------------------------------- /test/small2/mergeinit2_2_definition.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/mergeinit2_2_definition.c -------------------------------------------------------------------------------- /test/small2/mergeinit3.c: -------------------------------------------------------------------------------- 1 | 2 | int f3(void) 3 | { 4 | return(3); 5 | } 6 | 7 | 8 | -------------------------------------------------------------------------------- /test/small2/mergeinit3.h: -------------------------------------------------------------------------------- 1 | 2 | extern int f3(void); 3 | -------------------------------------------------------------------------------- /test/small2/mergeinit4.c: -------------------------------------------------------------------------------- 1 | #include "mergeinit2.h" 2 | 3 | int main(){ 4 | return(table[0]()); 5 | } 6 | -------------------------------------------------------------------------------- /test/small2/mergeinline1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/mergeinline1.c -------------------------------------------------------------------------------- /test/small2/mergeinline2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/mergeinline2.c -------------------------------------------------------------------------------- /test/small2/mergestruct1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/mergestruct1.c -------------------------------------------------------------------------------- /test/small2/mergestruct2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/mergestruct2.c -------------------------------------------------------------------------------- /test/small2/metabug3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/metabug3.c -------------------------------------------------------------------------------- /test/small2/mode_sizes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/mode_sizes.c -------------------------------------------------------------------------------- /test/small2/multiplestatics.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/multiplestatics.c -------------------------------------------------------------------------------- /test/small2/neg64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/neg64.c -------------------------------------------------------------------------------- /test/small2/nested.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/nested.c -------------------------------------------------------------------------------- /test/small2/nonwilderror.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/nonwilderror.c -------------------------------------------------------------------------------- /test/small2/oldstyle.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/oldstyle.c -------------------------------------------------------------------------------- /test/small2/open.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/open.c -------------------------------------------------------------------------------- /test/small2/override.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/override.c -------------------------------------------------------------------------------- /test/small2/partialbracket.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/partialbracket.c -------------------------------------------------------------------------------- /test/small2/pset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/pset.c -------------------------------------------------------------------------------- /test/small2/ptrinint.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/ptrinint.c -------------------------------------------------------------------------------- /test/small2/putc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/putc.c -------------------------------------------------------------------------------- /test/small2/rbtest.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/rbtest.c -------------------------------------------------------------------------------- /test/small2/regbeforeassign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/regbeforeassign.c -------------------------------------------------------------------------------- /test/small2/regparm0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/regparm0.c -------------------------------------------------------------------------------- /test/small2/regthenprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/regthenprintf.c -------------------------------------------------------------------------------- /test/small2/runall_misc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/runall_misc.c -------------------------------------------------------------------------------- /test/small2/rusage.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/rusage.c -------------------------------------------------------------------------------- /test/small2/s59.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/s59.c -------------------------------------------------------------------------------- /test/small2/scary.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/scary.c -------------------------------------------------------------------------------- /test/small2/segfault.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/segfault.c -------------------------------------------------------------------------------- /test/small2/seq_align_malloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/seq_align_malloc.c -------------------------------------------------------------------------------- /test/small2/seq_align_malloc2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/seq_align_malloc2.c -------------------------------------------------------------------------------- /test/small2/seqalign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/seqalign.c -------------------------------------------------------------------------------- /test/small2/sizeofchar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/sizeofchar.c -------------------------------------------------------------------------------- /test/small2/sockaddr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/sockaddr.c -------------------------------------------------------------------------------- /test/small2/stackptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/stackptr.c -------------------------------------------------------------------------------- /test/small2/stackptrptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/stackptrptr.c -------------------------------------------------------------------------------- /test/small2/struct_cs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/struct_cs.c -------------------------------------------------------------------------------- /test/small2/structattr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/structattr.c -------------------------------------------------------------------------------- /test/small2/structattr2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/structattr2.c -------------------------------------------------------------------------------- /test/small2/structattr3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/structattr3.c -------------------------------------------------------------------------------- /test/small2/switch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/switch.c -------------------------------------------------------------------------------- /test/small2/tagfile.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/tagfile.txt -------------------------------------------------------------------------------- /test/small2/tagfile1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/tagfile1.c -------------------------------------------------------------------------------- /test/small2/tagfile2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/tagfile2.c -------------------------------------------------------------------------------- /test/small2/testbtree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/testbtree.c -------------------------------------------------------------------------------- /test/small2/thing.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/thing.c -------------------------------------------------------------------------------- /test/small2/transpunion.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/transpunion.c -------------------------------------------------------------------------------- /test/small2/trivial-tb.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/trivial-tb.c -------------------------------------------------------------------------------- /test/small2/try1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/try1.c -------------------------------------------------------------------------------- /test/small2/twoprintfs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/twoprintfs.c -------------------------------------------------------------------------------- /test/small2/typeof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/typeof.c -------------------------------------------------------------------------------- /test/small2/undef_func.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/undef_func.c -------------------------------------------------------------------------------- /test/small2/uninit_tmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/uninit_tmp.c -------------------------------------------------------------------------------- /test/small2/union2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/union2.c -------------------------------------------------------------------------------- /test/small2/union4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/union4.c -------------------------------------------------------------------------------- /test/small2/union5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/union5.c -------------------------------------------------------------------------------- /test/small2/union6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/union6.c -------------------------------------------------------------------------------- /test/small2/union7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/union7.c -------------------------------------------------------------------------------- /test/small2/union8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/union8.c -------------------------------------------------------------------------------- /test/small2/unionassign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/unionassign.c -------------------------------------------------------------------------------- /test/small2/unionext.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/unionext.c -------------------------------------------------------------------------------- /test/small2/unscomp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/unscomp.c -------------------------------------------------------------------------------- /test/small2/visit_col.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/visit_col.c -------------------------------------------------------------------------------- /test/small2/voidstarint.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/voidstarint.c -------------------------------------------------------------------------------- /test/small2/volatilestruct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/volatilestruct.c -------------------------------------------------------------------------------- /test/small2/wes-hashtest.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/wes-hashtest.c -------------------------------------------------------------------------------- /test/small2/wes-rbtest.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/wes-rbtest.c -------------------------------------------------------------------------------- /test/small2/writev.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/writev.c -------------------------------------------------------------------------------- /test/small2/xcheckers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/small2/xcheckers.c -------------------------------------------------------------------------------- /test/teetwo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/teetwo -------------------------------------------------------------------------------- /test/test-bad: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/test-bad -------------------------------------------------------------------------------- /test/testcil: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | eval 'exec perl -I . -S ./testcil.pl ${1+"$@"}' 3 | if 0; 4 | -------------------------------------------------------------------------------- /test/testcil.bat: -------------------------------------------------------------------------------- 1 | perl -S testcil.pl %* 2 | -------------------------------------------------------------------------------- /test/testcil.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/testcil.h -------------------------------------------------------------------------------- /test/testcil.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/goblint/cil/HEAD/test/testcil.pl --------------------------------------------------------------------------------