├── .gitignore ├── GETTING_STARTED.md ├── Jenkinsfile ├── LICENSE ├── Makefile ├── README.md ├── deep-clean ├── extension.mk ├── grammars └── edu.umn.cs.melt.ableC │ ├── abstractsyntax │ ├── builtins │ │ ├── GeneratedBuiltins.sv │ │ └── InitialEnv.sv │ ├── construction │ │ ├── DeclHelpers.sv │ │ ├── ExprHelpers.sv │ │ ├── FoldHelpers.sv │ │ ├── Helpers.sv │ │ ├── NameHelpers.sv │ │ └── StmtHelpers.sv │ ├── env │ │ ├── Debug.sv │ │ ├── Def.sv │ │ ├── Env.sv │ │ ├── EnvPlumbing.sv │ │ ├── MiscItem.sv │ │ ├── RefIdItem.sv │ │ ├── Scope.sv │ │ ├── TagItem.sv │ │ └── ValueItem.sv │ └── host │ │ ├── AsmConstruct.sv │ │ ├── Ast.sv │ │ ├── Attribute.sv │ │ ├── AttributeAnimation.sv │ │ ├── ControlStmtContext.sv │ │ ├── Debug.sv │ │ ├── Decls.sv │ │ ├── Deferred.sv │ │ ├── Expr.sv │ │ ├── ExprBinOps.sv │ │ ├── ExprBuiltins.sv │ │ ├── ExprConstants.sv │ │ ├── ExprContainers.sv │ │ ├── ExprUnaryOps.sv │ │ ├── FreeVariables.sv │ │ ├── Host.sv │ │ ├── Initializer.sv │ │ ├── Lifted.sv │ │ ├── Name.sv │ │ ├── Overload.sv │ │ ├── Root.sv │ │ ├── Stmt.sv │ │ ├── TypeExprs.sv │ │ ├── TypeOps.sv │ │ ├── TypeQualifiers.sv │ │ ├── Types.sv │ │ └── TypesBuiltin.sv │ ├── compiler │ └── Main.sv │ ├── concretesyntax │ ├── ConcreteSyntax.sv │ ├── DeclSpecifiers.sv │ ├── Declarations.sv │ ├── Expr.sv │ ├── LexerHack.sv │ ├── Root.sv │ ├── Stmt.sv │ ├── Terminals.sv │ ├── c11 │ │ └── C11.sv │ ├── construction │ │ └── ProtoTypedef.sv │ ├── cppTags │ │ ├── CPPTags.sv │ │ └── Host.sv │ ├── debug │ │ └── Utils.sv │ └── gcc_exts │ │ ├── AsmConstruct.sv │ │ ├── Declarations.sv │ │ ├── Expr.sv │ │ ├── ImaginaryLiterals.sv │ │ ├── Pragma.sv │ │ ├── Stmts.sv │ │ ├── StorageClasses.sv │ │ └── VariableAttributes.sv │ ├── drivers │ ├── codeProber │ │ └── Driver.sv │ ├── compile │ │ └── Driver.sv │ └── test │ │ └── Driver.sv │ ├── host │ └── Host.sv │ ├── hosts │ └── default │ │ └── Host.sv │ ├── silverconstruction │ ├── Project.sv │ ├── abstractsyntax │ │ ├── AbstractSyntax.sv │ │ └── Translation.sv │ ├── concretesyntax │ │ ├── Exports.sv │ │ ├── antiquotation │ │ │ ├── ConcreteSyntax.sv │ │ │ └── Terminals.sv │ │ └── quotation │ │ │ ├── ConcreteSyntax.sv │ │ │ └── Terminals.sv │ └── mda_test │ │ └── MDA.sv │ ├── testing │ └── Main.sv │ └── tools │ └── builtins │ └── Processor.sv ├── mda-test ├── testing ├── build-test-artifact ├── disable-test ├── enable-test ├── expected-results │ ├── negative │ ├── neutral │ └── positive ├── open-broken-test ├── print-parse-errors ├── print-semantic-errors ├── runTests ├── tests │ ├── gcc │ │ ├── README │ │ ├── assemble │ │ │ └── positive │ │ │ │ ├── pr25706-1.c │ │ │ │ ├── pr47958-1.c │ │ │ │ ├── pr54436.c │ │ │ │ └── pr56195.c │ │ ├── compile │ │ │ ├── negative │ │ │ │ ├── 20000901-1.c │ │ │ │ ├── 20001228-1.c │ │ │ │ ├── 20010425-1.c │ │ │ │ ├── 20010524-1.c │ │ │ │ ├── 20011025-1.c │ │ │ │ ├── 20020130-1.c │ │ │ │ ├── 20020207-1.c │ │ │ │ ├── 20020213-1.c │ │ │ │ ├── 20020220-1.c │ │ │ │ ├── 20030818-1.c │ │ │ │ ├── 20040203-1.c │ │ │ │ ├── 20040203-2.c │ │ │ │ ├── 20040629-1.c │ │ │ │ ├── 20041207.c │ │ │ │ ├── 920616-2.c │ │ │ │ ├── 920721-2.c │ │ │ │ ├── 920824-1.c │ │ │ │ ├── 921102-1.c │ │ │ │ ├── 921116-1.c │ │ │ │ ├── 930301-1.c │ │ │ │ ├── 930622-1.c │ │ │ │ ├── 930622-2.c │ │ │ │ ├── 930714-1.c │ │ │ │ ├── 931203-1.c │ │ │ │ ├── 940112-1.c │ │ │ │ ├── 940227-1.c │ │ │ │ ├── 950825-1.c │ │ │ │ ├── 950921-1.c │ │ │ │ ├── 951123-1.c │ │ │ │ ├── 971104-1.c │ │ │ │ ├── 990416-1.c │ │ │ │ ├── const-ll-1.c │ │ │ │ ├── incomplete-1.c │ │ │ │ ├── incomplete-3.c │ │ │ │ ├── incomplete-4.c │ │ │ │ ├── init-1.c │ │ │ │ ├── init-2.c │ │ │ │ ├── init-3.c │ │ │ │ ├── init-4.c │ │ │ │ ├── init-5.c │ │ │ │ ├── label-lineno-1.c │ │ │ │ ├── pr23576.c │ │ │ │ ├── pr35444-1.c │ │ │ │ ├── pr35444-2.c │ │ │ │ ├── pr35447-1.c │ │ │ │ ├── pr40033-1.c │ │ │ │ ├── pr44517.c │ │ │ │ ├── pr52290.c │ │ │ │ ├── redecl-1.c │ │ │ │ ├── scope.c │ │ │ │ ├── undeclared-2.c │ │ │ │ ├── va-arg-1.c │ │ │ │ └── voidparam-1.c │ │ │ ├── neutral │ │ │ │ ├── attr-nest.c │ │ │ │ ├── pr37645.c │ │ │ │ └── pr50287.c │ │ │ └── positive │ │ │ │ ├── 20000111-1.c │ │ │ │ ├── 20020115-1.c │ │ │ │ ├── 20020425-1.c.disabled │ │ │ │ ├── 20090902-1.c │ │ │ │ ├── 980816-1.c │ │ │ │ ├── Wattributes-3.c │ │ │ │ ├── array-1.c │ │ │ │ ├── attr-alloc_size-2.c │ │ │ │ ├── attr-weak-1.c │ │ │ │ ├── bconstp-1.c │ │ │ │ ├── bconstp-2.c │ │ │ │ ├── bconstp-3.c │ │ │ │ ├── builtin-strstr.c │ │ │ │ ├── conv-1.c │ │ │ │ ├── decl-6.c │ │ │ │ ├── fail_always_inline.c │ │ │ │ ├── h8300-ice2.c │ │ │ │ ├── loop-1.c │ │ │ │ ├── macro-1.c │ │ │ │ ├── matrix-3.c │ │ │ │ ├── matrix-4.c │ │ │ │ ├── pack-test-1.c │ │ │ │ ├── pack-test-1.h │ │ │ │ ├── pack-test-2.c │ │ │ │ ├── pack-test-3.c │ │ │ │ ├── pr14092-1.c │ │ │ │ ├── pr15443-1.c │ │ │ │ ├── pr15443-2.c │ │ │ │ ├── pr17036-1.c │ │ │ │ ├── pr19462-1.c │ │ │ │ ├── pr20314-1.c │ │ │ │ ├── pr20314-2.c │ │ │ │ ├── pr21085.c │ │ │ │ ├── pr23424-1.c │ │ │ │ ├── pr24626-1.c │ │ │ │ ├── pr24626-2.c │ │ │ │ ├── pr24626-3.c │ │ │ │ ├── pr25481.c │ │ │ │ ├── pr26672.c │ │ │ │ ├── pr26869.c │ │ │ │ ├── pr26998.c │ │ │ │ ├── pr27409.c │ │ │ │ ├── pr27773.c │ │ │ │ ├── pr28268.c │ │ │ │ ├── pr28814.c │ │ │ │ ├── pr29119.c │ │ │ │ ├── pr29446.c │ │ │ │ ├── pr29584.c │ │ │ │ ├── pr30313.c │ │ │ │ ├── pr30762-2.c │ │ │ │ ├── pr31254.c │ │ │ │ ├── pr31529-2.c │ │ │ │ ├── pr32041.c │ │ │ │ ├── pr33655.c │ │ │ │ ├── pr33691.c │ │ │ │ ├── pr33692.c │ │ │ │ ├── pr33693.c │ │ │ │ ├── pr33695.c │ │ │ │ ├── pr33696.c │ │ │ │ ├── pr33697.c │ │ │ │ ├── pr33724.c │ │ │ │ ├── pr33726.c │ │ │ │ ├── pr34668-2.c │ │ │ │ ├── pr35227.c │ │ │ │ ├── pr35842.c │ │ │ │ ├── pr38957.c │ │ │ │ ├── pr39712.c │ │ │ │ ├── pr43557-2.c │ │ │ │ ├── pr43781.c │ │ │ │ ├── pr44695.c │ │ │ │ ├── pr44807.c │ │ │ │ ├── pr45461.c │ │ │ │ ├── pr45732.c │ │ │ │ ├── pr45860.c │ │ │ │ ├── pr45869.c │ │ │ │ ├── pr46068.c │ │ │ │ ├── pr46216.c │ │ │ │ ├── pr46723.c │ │ │ │ ├── pr47281.c │ │ │ │ ├── pr47370.c │ │ │ │ ├── pr47411.c │ │ │ │ ├── pr47677.c │ │ │ │ ├── pr47725.c │ │ │ │ ├── pr47743.c │ │ │ │ ├── pr47744-3.c │ │ │ │ ├── pr47890.c │ │ │ │ ├── pr48098.c │ │ │ │ ├── pr48493.c │ │ │ │ ├── pr48694-1.c │ │ │ │ ├── pr48694-2.c │ │ │ │ ├── pr48731.c │ │ │ │ ├── pr48822.c │ │ │ │ ├── pr49603.c │ │ │ │ ├── pr50092.c │ │ │ │ ├── pr50333.c │ │ │ │ ├── pr50723.c │ │ │ │ ├── pr50838.c │ │ │ │ ├── pr50890.c │ │ │ │ ├── pr50902.c │ │ │ │ ├── pr51042.c │ │ │ │ ├── pr51070.c │ │ │ │ ├── pr51071.c │ │ │ │ ├── pr51245.c │ │ │ │ ├── pr51692.c │ │ │ │ ├── pr51760.c │ │ │ │ ├── pr51801.c │ │ │ │ ├── pr51949.c │ │ │ │ ├── pr52170.c │ │ │ │ ├── pr52298.c │ │ │ │ ├── pr52355.c │ │ │ │ ├── pr52493.c │ │ │ │ ├── pr52549.c │ │ │ │ ├── pr52756.c │ │ │ │ ├── pr52881.c │ │ │ │ ├── pr52912.c │ │ │ │ ├── pr52913.c │ │ │ │ ├── pr53144.c │ │ │ │ ├── pr53168.c │ │ │ │ ├── pr53390.c │ │ │ │ ├── pr53408.c │ │ │ │ ├── pr53589.c │ │ │ │ ├── pr53790.c │ │ │ │ ├── pr54098.c │ │ │ │ ├── pr54109.c │ │ │ │ ├── pr54127.c │ │ │ │ ├── pr54327.c │ │ │ │ ├── pr54409.c │ │ │ │ ├── pr54458.c │ │ │ │ ├── pr54520.c │ │ │ │ ├── pr55011.c │ │ │ │ ├── pr55107.c │ │ │ │ ├── pr55111.c │ │ │ │ ├── pr55124.c │ │ │ │ ├── pr55238.c │ │ │ │ ├── pr55270.c │ │ │ │ ├── pr55684.c │ │ │ │ ├── pr55687.c │ │ │ │ ├── pr55862.c │ │ │ │ ├── pr55888.c │ │ │ │ ├── pr55890-1.c │ │ │ │ ├── pr55890-2.c │ │ │ │ ├── pr55890-3.c │ │ │ │ ├── pr56150.c │ │ │ │ ├── pr56167.c │ │ │ │ ├── pr56349.c │ │ │ │ ├── pr56366.c │ │ │ │ ├── pr56384.c │ │ │ │ ├── pr56478.c │ │ │ │ ├── pr57214.c │ │ │ │ ├── pr57330.c │ │ │ │ ├── pr8835-1.c │ │ │ │ ├── pragma-darwin-2.c │ │ │ │ ├── pragma-pack-4.c │ │ │ │ ├── pragma-pack-5.c │ │ │ │ ├── redecl-17.c │ │ │ │ ├── struct-by-value-2.c │ │ │ │ ├── tree-loop-1.c │ │ │ │ ├── union-1.c │ │ │ │ └── va-arg-1.c │ │ ├── default │ │ │ ├── neutral │ │ │ │ ├── fail_always_inline2.c │ │ │ │ └── funcdef-attr-1.c │ │ │ └── positive │ │ │ │ ├── 20010405-1.c │ │ │ │ ├── 20021006-1.c │ │ │ │ ├── 20040409-1.c │ │ │ │ ├── 20050307-1.c │ │ │ │ ├── 20110719-1.c │ │ │ │ ├── Wobjsize-1.h │ │ │ │ ├── Wshadow-4.h │ │ │ │ ├── arm-fp16-ops.h │ │ │ │ ├── attr-hotcold-1.c │ │ │ │ ├── attr-weakref-1a.c │ │ │ │ ├── attr-weakref-1b.c │ │ │ │ ├── builtin-apply1.c │ │ │ │ ├── builtins-config.h │ │ │ │ ├── c90-array-quals-2.c │ │ │ │ ├── c90-array-quals.c │ │ │ │ ├── c99-math.h │ │ │ │ ├── compat-common.h │ │ │ │ ├── complex-2.h │ │ │ │ ├── convert.h │ │ │ │ ├── decl-global-ext.c │ │ │ │ ├── dfp-dbg.h │ │ │ │ ├── dfp-except.h │ │ │ │ ├── dfp-round.h │ │ │ │ ├── dll-10a.c │ │ │ │ ├── dll-11a.c │ │ │ │ ├── dll-12a.c │ │ │ │ ├── dll-6a.c │ │ │ │ ├── dll-7a.c │ │ │ │ ├── dll-9a.c │ │ │ │ ├── fe-check.h │ │ │ │ ├── fnptr-by-value-1_main.c │ │ │ │ ├── fnptr-by-value-1_x.c │ │ │ │ ├── fnptr-by-value-1_y.c │ │ │ │ ├── fp-int-convert.h │ │ │ │ ├── fp-struct-check.h │ │ │ │ ├── fp-struct-defs.h │ │ │ │ ├── fp-struct-init.h │ │ │ │ ├── fp-struct-test-by-value-x.h │ │ │ │ ├── fp-struct-test-by-value-y.h │ │ │ │ ├── fp2-struct-check.h │ │ │ │ ├── fp2-struct-defs.h │ │ │ │ ├── fp2-struct-init.h │ │ │ │ ├── generate-random.c │ │ │ │ ├── generate-random.h │ │ │ │ ├── generate-random_r.c │ │ │ │ ├── ipa-pta-12.c │ │ │ │ ├── local1.c │ │ │ │ ├── mixed-struct-check.h │ │ │ │ ├── mixed-struct-defs.h │ │ │ │ ├── mixed-struct-init.h │ │ │ │ ├── nop.h │ │ │ │ ├── pr15749-1.h │ │ │ │ ├── pr17322.c │ │ │ │ ├── pr17933-1.c │ │ │ │ ├── pr24750-1.c │ │ │ │ ├── pr24912-1.c │ │ │ │ ├── pr26004.c │ │ │ │ ├── pr33919-0.h │ │ │ │ ├── pr33919-1.h │ │ │ │ ├── pr33919-2.h │ │ │ │ ├── pr34457-2.c │ │ │ │ ├── pr35771.h │ │ │ │ ├── pr36901-system.h │ │ │ │ ├── pr36901.h │ │ │ │ ├── pr38245-3.h │ │ │ │ ├── pr40340.h │ │ │ │ ├── pr43879_2.c │ │ │ │ ├── pr47426-2.c │ │ │ │ ├── pr51957-1.h │ │ │ │ ├── pr53272-2.c │ │ │ │ ├── pragma-re-3.c │ │ │ │ ├── pthread-init-common.h │ │ │ │ ├── scalar-by-value-1_main.c │ │ │ │ ├── scalar-by-value-1_x.c │ │ │ │ ├── scalar-by-value-1_y.c │ │ │ │ ├── scalar-by-value-2_main.c │ │ │ │ ├── scalar-by-value-2_x.c │ │ │ │ ├── scalar-by-value-2_y.c │ │ │ │ ├── scalar-by-value-3_main.c │ │ │ │ ├── scalar-by-value-3_x.c │ │ │ │ ├── scalar-by-value-3_y.c │ │ │ │ ├── scalar-by-value-4_main.c │ │ │ │ ├── scalar-by-value-4_x.c │ │ │ │ ├── scalar-by-value-4_y.c │ │ │ │ ├── scalar-by-value-5.h │ │ │ │ ├── scalar-by-value-5_x.c │ │ │ │ ├── scalar-by-value-5_y.c │ │ │ │ ├── scalar-by-value-6.h │ │ │ │ ├── scalar-by-value-6_x.c │ │ │ │ ├── scalar-by-value-6_y.c │ │ │ │ ├── scalar-by-value-x.h │ │ │ │ ├── scalar-by-value-y.h │ │ │ │ ├── scalar-return-1_main.c │ │ │ │ ├── scalar-return-1_x.c │ │ │ │ ├── scalar-return-1_y.c │ │ │ │ ├── scalar-return-2_main.c │ │ │ │ ├── scalar-return-2_x.c │ │ │ │ ├── scalar-return-2_y.c │ │ │ │ ├── scalar-return-3_main.c │ │ │ │ ├── scalar-return-3_x.c │ │ │ │ ├── scalar-return-3_y.c │ │ │ │ ├── scalar-return-4_main.c │ │ │ │ ├── scalar-return-4_x.c │ │ │ │ ├── scalar-return-4_y.c │ │ │ │ ├── sdata-1_main.c │ │ │ │ ├── sdata-1_x.c │ │ │ │ ├── sdata-1_y.c │ │ │ │ ├── sdata-section.h │ │ │ │ ├── small-struct-check.h │ │ │ │ ├── small-struct-defs.h │ │ │ │ ├── small-struct-init.h │ │ │ │ ├── strlenopt.h │ │ │ │ ├── struct-align-1.h │ │ │ │ ├── struct-align-1_main.c │ │ │ │ ├── struct-align-2.h │ │ │ │ ├── struct-align-2_main.c │ │ │ │ ├── struct-by-value-10_main.c │ │ │ │ ├── struct-by-value-10_x.c │ │ │ │ ├── struct-by-value-10_y.c │ │ │ │ ├── struct-by-value-11_main.c │ │ │ │ ├── struct-by-value-11_x.c.disabled │ │ │ │ ├── struct-by-value-11_y.c │ │ │ │ ├── struct-by-value-12_main.c │ │ │ │ ├── struct-by-value-12_x.c.disabled │ │ │ │ ├── struct-by-value-12_y.c │ │ │ │ ├── struct-by-value-13_main.c │ │ │ │ ├── struct-by-value-13_x.c.disabled │ │ │ │ ├── struct-by-value-13_y.c │ │ │ │ ├── struct-by-value-14_main.c │ │ │ │ ├── struct-by-value-14_x.c.disabled │ │ │ │ ├── struct-by-value-14_y.c │ │ │ │ ├── struct-by-value-15_main.c.disabled │ │ │ │ ├── struct-by-value-15_x.c.disabled │ │ │ │ ├── struct-by-value-15_y.c │ │ │ │ ├── struct-by-value-16_x.c.disabled │ │ │ │ ├── struct-by-value-16_y.c │ │ │ │ ├── struct-by-value-16a_main.c │ │ │ │ ├── struct-by-value-16a_x.c.disabled │ │ │ │ ├── struct-by-value-16a_y.c │ │ │ │ ├── struct-by-value-17_x.c.disabled │ │ │ │ ├── struct-by-value-17_y.c │ │ │ │ ├── struct-by-value-17a_main.c │ │ │ │ ├── struct-by-value-17a_x.c.disabled │ │ │ │ ├── struct-by-value-17a_y.c │ │ │ │ ├── struct-by-value-18_x.c.disabled │ │ │ │ ├── struct-by-value-18_y.c │ │ │ │ ├── struct-by-value-18a_main.c │ │ │ │ ├── struct-by-value-18a_x.c.disabled │ │ │ │ ├── struct-by-value-18a_y.c │ │ │ │ ├── struct-by-value-19_main.c │ │ │ │ ├── struct-by-value-19_x.c │ │ │ │ ├── struct-by-value-19_y.c │ │ │ │ ├── struct-by-value-1_main.c │ │ │ │ ├── struct-by-value-1_x.c │ │ │ │ ├── struct-by-value-1_y.c │ │ │ │ ├── struct-by-value-20_main.c │ │ │ │ ├── struct-by-value-20_x.c │ │ │ │ ├── struct-by-value-20_y.c │ │ │ │ ├── struct-by-value-21_main.c │ │ │ │ ├── struct-by-value-21_x.c │ │ │ │ ├── struct-by-value-21_y.c │ │ │ │ ├── struct-by-value-22_main.c │ │ │ │ ├── struct-by-value-22_x.c │ │ │ │ ├── struct-by-value-22_y.c │ │ │ │ ├── struct-by-value-2_main.c │ │ │ │ ├── struct-by-value-2_x.c │ │ │ │ ├── struct-by-value-2_y.c │ │ │ │ ├── struct-by-value-3_main.c │ │ │ │ ├── struct-by-value-3_x.c │ │ │ │ ├── struct-by-value-3_y.c │ │ │ │ ├── struct-by-value-4_main.c │ │ │ │ ├── struct-by-value-4_x.c │ │ │ │ ├── struct-by-value-4_y.c │ │ │ │ ├── struct-by-value-5a_main.c │ │ │ │ ├── struct-by-value-5a_x.c.disabled │ │ │ │ ├── struct-by-value-5a_y.c │ │ │ │ ├── struct-by-value-5b_main.c │ │ │ │ ├── struct-by-value-5b_x.c.disabled │ │ │ │ ├── struct-by-value-5b_y.c │ │ │ │ ├── struct-by-value-6a_main.c │ │ │ │ ├── struct-by-value-6a_x.c.disabled │ │ │ │ ├── struct-by-value-6a_y.c │ │ │ │ ├── struct-by-value-6b_main.c │ │ │ │ ├── struct-by-value-6b_x.c.disabled │ │ │ │ ├── struct-by-value-6b_y.c │ │ │ │ ├── struct-by-value-7a_main.c │ │ │ │ ├── struct-by-value-7a_x.c.disabled │ │ │ │ ├── struct-by-value-7a_y.c │ │ │ │ ├── struct-by-value-7b_main.c │ │ │ │ ├── struct-by-value-7b_x.c.disabled │ │ │ │ ├── struct-by-value-7b_y.c │ │ │ │ ├── struct-by-value-8_main.c │ │ │ │ ├── struct-by-value-8_x.c │ │ │ │ ├── struct-by-value-8_y.c │ │ │ │ ├── struct-by-value-9_main.c │ │ │ │ ├── struct-by-value-9_x.c │ │ │ │ ├── struct-by-value-9_y.c │ │ │ │ ├── struct-complex-1.h │ │ │ │ ├── struct-complex-2.h │ │ │ │ ├── struct-layout-1.h │ │ │ │ ├── struct-layout-1_test.h │ │ │ │ ├── struct-layout-1_x1.h │ │ │ │ ├── struct-layout-1_x2.h │ │ │ │ ├── struct-layout-1_y1.h │ │ │ │ ├── struct-layout-1_y2.h │ │ │ │ ├── struct-return-10_main.c │ │ │ │ ├── struct-return-10_x.c │ │ │ │ ├── struct-return-10_y.c │ │ │ │ ├── struct-return-19_main.c │ │ │ │ ├── struct-return-19_x.c │ │ │ │ ├── struct-return-19_y.c │ │ │ │ ├── struct-return-20_main.c │ │ │ │ ├── struct-return-20_x.c │ │ │ │ ├── struct-return-20_y.c │ │ │ │ ├── struct-return-21_main.c │ │ │ │ ├── struct-return-21_x.c │ │ │ │ ├── struct-return-21_y.c │ │ │ │ ├── struct-return-2_main.c │ │ │ │ ├── struct-return-2_x.c │ │ │ │ ├── struct-return-2_y.c │ │ │ │ ├── struct-return-3_main.c │ │ │ │ ├── struct-return-3_x.c │ │ │ │ ├── struct-return-3_y.c │ │ │ │ ├── system-binary-constants-1.h │ │ │ │ ├── tg-tests.h │ │ │ │ ├── typedef-redecl.c │ │ │ │ ├── typedef-redecl.h │ │ │ │ ├── union-by-value-1_main.c │ │ │ │ ├── union-by-value-1_x.c │ │ │ │ ├── union-by-value-1_y.c │ │ │ │ ├── union-check.h │ │ │ │ ├── union-defs.h │ │ │ │ ├── union-init.h │ │ │ │ ├── union-m128-1.h │ │ │ │ ├── union-return-1_main.c │ │ │ │ ├── union-return-1_x.c │ │ │ │ ├── union-return-1_y.c │ │ │ │ ├── vector-1_main.c │ │ │ │ ├── vector-2_main.c │ │ │ │ ├── vector-check.h │ │ │ │ ├── vector-defs.h │ │ │ │ ├── vector-setup.h │ │ │ │ └── volatile1.c │ │ ├── link │ │ │ └── positive │ │ │ │ ├── builtin-ctype-1.c │ │ │ │ ├── builtin-ctype-2.c │ │ │ │ ├── builtin-isinf_sign-1.c │ │ │ │ ├── builtin-math-1.c │ │ │ │ ├── builtin-math-3.c │ │ │ │ ├── builtin-math-4.c │ │ │ │ ├── builtin-math-6.c │ │ │ │ ├── builtin-math-8.c │ │ │ │ ├── builtin-rounding-1.c │ │ │ │ ├── builtin-sin-mpfr-1.c │ │ │ │ ├── builtin-wctype-1.c │ │ │ │ ├── complete-port.c │ │ │ │ ├── pr15347.c │ │ │ │ ├── pr15785-1.c │ │ │ │ ├── pr26983.c │ │ │ │ ├── pr30951.c │ │ │ │ ├── pr33848.c │ │ │ │ ├── switch-8.c │ │ │ │ └── unordered-2.c │ │ └── run │ │ │ └── positive │ │ │ ├── 20000906-1.c │ │ │ ├── 20020607-1.c │ │ │ ├── 20030323-1.c │ │ │ ├── 20040305-2.c │ │ │ ├── 20041219-1.c │ │ │ ├── 20110718-1.c │ │ │ ├── atomic-flag.c │ │ │ ├── builtin-apply3.c │ │ │ ├── builtins-64.c │ │ │ ├── fp-compare.c │ │ │ ├── loop-2.c │ │ │ ├── nrv1.c │ │ │ ├── postincr-1.c │ │ │ ├── pr25654.c │ │ │ ├── pr25718-1.c │ │ │ ├── pr26258.c │ │ │ ├── pr26763-1.c │ │ │ ├── pr26763-2.c │ │ │ ├── pr26898-2.c │ │ │ ├── pr27116-2.c │ │ │ ├── pr27116.c │ │ │ ├── pr27184.c │ │ │ ├── pr27302.c │ │ │ ├── pr27603.c │ │ │ ├── pr28045.c │ │ │ ├── pr30364-1.c │ │ │ ├── pr30364-2.c │ │ │ ├── pr30375.c │ │ │ ├── pr30665-1.c │ │ │ ├── pr30665-2.c │ │ │ ├── pr31115.c │ │ │ ├── pr33560.c │ │ │ ├── pr33563.c │ │ │ ├── pr33870.c │ │ │ ├── pr34174-1.c │ │ │ ├── pr35634.c │ │ │ ├── pr36373-10.c │ │ │ ├── pr36373-3.c │ │ │ ├── pr36373-4.c │ │ │ ├── pr36373-7.c │ │ │ ├── pr36373-9.c │ │ │ ├── pr37731-1.c │ │ │ ├── pr37731-2.c │ │ │ ├── pr38405.c │ │ │ ├── pr38615.c │ │ │ ├── pr43360.c │ │ │ ├── pr44913.c │ │ │ ├── pr45967-2.c │ │ │ ├── pr45967-3.c │ │ │ ├── pr45967.c │ │ │ ├── pr46398.c │ │ │ ├── pr47364-1.c │ │ │ ├── pr47365.c │ │ │ ├── pr47621.c │ │ │ ├── pr48124-2.c │ │ │ ├── pr48124-3.c │ │ │ ├── pr48542.c │ │ │ ├── pr48702.c │ │ │ ├── pr49079.c │ │ │ ├── pr49651.c │ │ │ ├── pr50067-1.c │ │ │ ├── pr50067-2.c │ │ │ ├── pr50067-4.c │ │ │ ├── pr50067-5.c │ │ │ ├── pr52244.c │ │ │ ├── pr52406.c │ │ │ ├── pr52419.c │ │ │ ├── pr52530.c │ │ │ ├── pr52693.c │ │ │ ├── pr52943.c │ │ │ ├── pr53366-1.c │ │ │ ├── pr53366-2.c │ │ │ ├── pr53501.c │ │ │ ├── pr53663-1.c │ │ │ ├── pr53663-2.c │ │ │ ├── pr53663-3.c │ │ │ ├── pr53908.c │ │ │ ├── pr54027.c │ │ │ ├── pr54132.c │ │ │ ├── pr55253.c │ │ │ ├── pr55305.c │ │ │ ├── pr55481.c │ │ │ ├── pr55555.c │ │ │ ├── pr55882.c │ │ │ ├── pr56407.c │ │ │ ├── pr56488.c │ │ │ ├── pr56661.c │ │ │ ├── pr57303.c │ │ │ ├── pr8081.c │ │ │ ├── reassoc-1.c │ │ │ ├── restrict-1.c │ │ │ ├── struct-ret-libc.c │ │ │ ├── titype-1.c │ │ │ ├── unaligned-1.c │ │ │ ├── union-2.c │ │ │ ├── vec-cvt-1.c │ │ │ ├── vector-shift2.c │ │ │ └── vector-shuffle1.c │ ├── headers │ │ └── positive │ │ │ ├── _G_config.c │ │ │ ├── a.out.c │ │ │ ├── aio.c │ │ │ ├── aliases.c │ │ │ ├── alloca.c │ │ │ ├── ar.c │ │ │ ├── argp.c │ │ │ ├── argz.c │ │ │ ├── assert.c │ │ │ ├── byteswap.c │ │ │ ├── complex.c │ │ │ ├── cpio.c │ │ │ ├── cpuid.c │ │ │ ├── crypt.c │ │ │ ├── ctype.c │ │ │ ├── dirent.c │ │ │ ├── dlfcn.c │ │ │ ├── elf.c │ │ │ ├── emmintrin.c │ │ │ ├── endian.c │ │ │ ├── envz.c │ │ │ ├── err.c │ │ │ ├── errno.c │ │ │ ├── error.c │ │ │ ├── eti.c │ │ │ ├── execinfo.c │ │ │ ├── fcntl.c │ │ │ ├── features.c │ │ │ ├── fenv.c │ │ │ ├── float.c │ │ │ ├── fmtmsg.c │ │ │ ├── fnmatch.c │ │ │ ├── form.c │ │ │ ├── fstab.c │ │ │ ├── fts.c │ │ │ ├── ftw.c │ │ │ ├── gconv.c │ │ │ ├── getopt.c │ │ │ ├── gettext-po.c │ │ │ ├── glob.c │ │ │ ├── gmp-x86_64.c │ │ │ ├── gmp.c │ │ │ ├── gnu-versions.c │ │ │ ├── grp.c │ │ │ ├── gshadow.c │ │ │ ├── iconv.c │ │ │ ├── ieee754.c │ │ │ ├── ifaddrs.c │ │ │ ├── immintrin.c │ │ │ ├── inttypes.c │ │ │ ├── iso646.c │ │ │ ├── langinfo.c │ │ │ ├── lastlog.c │ │ │ ├── libgen.c │ │ │ ├── libintl.c │ │ │ ├── libio.c │ │ │ ├── libutil.c │ │ │ ├── limits.c │ │ │ ├── link.c │ │ │ ├── locale.c │ │ │ ├── malloc.c │ │ │ ├── math.c │ │ │ ├── mcheck.c │ │ │ ├── memory.c │ │ │ ├── menu.c │ │ │ ├── mm3dnow.c │ │ │ ├── mm_malloc.c │ │ │ ├── mmintrin.c │ │ │ ├── mntent.c │ │ │ ├── monetary.c │ │ │ ├── mqueue.c │ │ │ ├── nc_tparm.c │ │ │ ├── ncurses.c │ │ │ ├── ncurses_dll.c │ │ │ ├── netdb.c │ │ │ ├── nl_types.c │ │ │ ├── nlist.c │ │ │ ├── nss.c │ │ │ ├── obstack.c │ │ │ ├── omp.c │ │ │ ├── panel.c │ │ │ ├── paths.c │ │ │ ├── poll.c │ │ │ ├── printf.c │ │ │ ├── pthread.c │ │ │ ├── pty.c │ │ │ ├── pwd.c │ │ │ ├── re_comp.c │ │ │ ├── regex.c │ │ │ ├── resolv.c │ │ │ ├── sched.c │ │ │ ├── search.c │ │ │ ├── semaphore.c │ │ │ ├── setjmp.c │ │ │ ├── sgtty.c │ │ │ ├── shadow.c │ │ │ ├── signal.c │ │ │ ├── spawn.c │ │ │ ├── stab.c │ │ │ ├── stdarg.c │ │ │ ├── stdbool.c │ │ │ ├── stddef.c │ │ │ ├── stdfix.c │ │ │ ├── stdint-gcc.c │ │ │ ├── stdint.c │ │ │ ├── stdio.c │ │ │ ├── stdio_ext.c │ │ │ ├── stdlib.c │ │ │ ├── string.c │ │ │ ├── strings.c │ │ │ ├── stropts.c │ │ │ ├── sudo_plugin.c │ │ │ ├── syscall.c │ │ │ ├── sysexits.c │ │ │ ├── syslog.c │ │ │ ├── tar.c │ │ │ ├── term.c │ │ │ ├── term_entry.c │ │ │ ├── termcap.c │ │ │ ├── termio.c │ │ │ ├── termios.c │ │ │ ├── tgmath.c │ │ │ ├── thread_db.c │ │ │ ├── tic.c │ │ │ ├── time.c │ │ │ ├── ttyent.c │ │ │ ├── ucontext.c │ │ │ ├── ulimit.c │ │ │ ├── unctrl.c │ │ │ ├── unistd.c │ │ │ ├── ustat.c │ │ │ ├── utime.c │ │ │ ├── utmp.c │ │ │ ├── utmpx.c │ │ │ ├── values.c │ │ │ ├── vis.c │ │ │ ├── wait.c │ │ │ ├── wchar.c │ │ │ ├── wctype.c │ │ │ ├── wordexp.c │ │ │ ├── x86intrin.c │ │ │ ├── xlocale.c │ │ │ └── xmmintrin.c │ ├── kframework │ │ ├── README │ │ ├── negative │ │ │ ├── j004a.c │ │ │ ├── j004b.c │ │ │ ├── j004c.c │ │ │ ├── j004d.c │ │ │ ├── j004e.c │ │ │ ├── j004f.c │ │ │ ├── j004g.c │ │ │ ├── j004h.c │ │ │ ├── j008a.c │ │ │ ├── j008b.c │ │ │ ├── j008c.c │ │ │ ├── j008d.c │ │ │ ├── j008e.c │ │ │ ├── j008f.c │ │ │ ├── j009a.c │ │ │ ├── j009b.c │ │ │ ├── j009c.c │ │ │ ├── j009d.c │ │ │ ├── j009e.c │ │ │ ├── j009f.c │ │ │ ├── j009g.c │ │ │ ├── j009h.c │ │ │ ├── j009i.c │ │ │ ├── j010a.c │ │ │ ├── j010b.c │ │ │ ├── j010c.c │ │ │ ├── j015.c │ │ │ ├── j015b.c │ │ │ ├── j015c.c │ │ │ ├── j017a.c │ │ │ ├── j017b.c │ │ │ ├── j017c.c │ │ │ ├── j019a.c │ │ │ ├── j019b.c │ │ │ ├── j020a.c │ │ │ ├── j020b.c │ │ │ ├── j021a.c │ │ │ ├── j021b.c │ │ │ ├── j021c.c │ │ │ ├── j021d.c │ │ │ ├── j021e.c │ │ │ ├── j021f.c │ │ │ ├── j022a.c │ │ │ ├── j026a.c │ │ │ ├── j027a.c │ │ │ ├── j027b.c │ │ │ ├── j032a.c │ │ │ ├── j032b.c │ │ │ ├── j033a.c │ │ │ ├── j033b.c │ │ │ ├── j033c.c │ │ │ ├── j036a.c │ │ │ ├── j036b.c │ │ │ ├── j036c.c │ │ │ ├── j037a.c │ │ │ ├── j037b.c │ │ │ ├── j038a.c │ │ │ ├── j038b.c │ │ │ ├── j038c.c │ │ │ ├── j040a.c │ │ │ ├── j040b.c │ │ │ ├── j040c.c │ │ │ ├── j041a.c │ │ │ ├── j043a.c │ │ │ ├── j044a.c │ │ │ ├── j046a.c │ │ │ ├── j046b.c │ │ │ ├── j046c.c │ │ │ ├── j047a.c │ │ │ ├── j047b.c │ │ │ ├── j047c.c │ │ │ ├── j048a.c │ │ │ ├── j048b.c │ │ │ ├── j049a.c │ │ │ ├── j049b.c │ │ │ ├── j049c.c │ │ │ ├── j052a.c │ │ │ ├── j052b.c │ │ │ ├── j053a.c │ │ │ ├── j055a.c │ │ │ ├── j055b.c │ │ │ ├── j055c.c │ │ │ ├── j055d.c │ │ │ ├── j055e.c │ │ │ ├── j056a.c │ │ │ ├── j058a.c │ │ │ ├── j058b.c │ │ │ ├── j058c.c │ │ │ ├── j058d.c │ │ │ ├── j058e.c │ │ │ ├── j060a.c │ │ │ ├── j060b.c │ │ │ ├── j061a.c │ │ │ ├── j061b.c │ │ │ ├── j062a.c │ │ │ ├── j062b.c │ │ │ ├── j064a.c │ │ │ ├── j064b.c │ │ │ ├── j065a.c │ │ │ ├── j065b.c │ │ │ ├── j067a.c │ │ │ ├── j067b.c │ │ │ ├── j067c.c │ │ │ ├── j067d.c │ │ │ ├── j068a.c │ │ │ ├── j070a.c │ │ │ ├── j071a.c │ │ │ ├── j072a.c │ │ │ ├── j073a.c │ │ │ ├── j075a.c │ │ │ ├── j075b.c │ │ │ ├── j075c.c │ │ │ ├── j075d.c │ │ │ ├── j075e.c │ │ │ ├── j075f.c │ │ │ ├── j076a.c │ │ │ ├── j078a.c │ │ │ ├── j079a.c │ │ │ ├── j079b.c │ │ │ ├── j079c.c │ │ │ ├── j079d.c │ │ │ ├── j079e.c │ │ │ ├── j079f.c │ │ │ ├── j079g.c │ │ │ ├── j079h.c │ │ │ ├── j079i.c │ │ │ ├── j079j.c │ │ │ ├── j082a.c │ │ │ ├── j082b.c │ │ │ ├── j083a.c │ │ │ ├── j083b.c │ │ │ ├── j084a.c │ │ │ ├── j086a.c │ │ │ ├── j088a.c │ │ │ ├── j089a.c │ │ │ ├── j089b.c │ │ │ ├── j090a.c │ │ │ ├── j301a.c │ │ │ ├── j302a.c │ │ │ ├── j303a.c │ │ │ ├── j303b.c │ │ │ ├── j304a.c │ │ │ ├── j305a.c │ │ │ ├── j306a.c │ │ │ ├── j307a.c │ │ │ ├── j307b.c │ │ │ ├── j307c.c │ │ │ ├── j308a.c │ │ │ ├── j309a.c │ │ │ ├── j310a.c │ │ │ ├── j310b.c │ │ │ ├── j310c.c │ │ │ ├── j311a.c │ │ │ ├── j315a.c │ │ │ ├── j315b.c │ │ │ ├── j316a.c │ │ │ ├── j319a.c │ │ │ ├── j319b.c │ │ │ ├── j320a.c │ │ │ ├── j320b.c │ │ │ ├── j321a.c │ │ │ ├── j321b.c │ │ │ ├── j322a.c │ │ │ ├── j322b.c │ │ │ ├── j323a.c │ │ │ ├── j324a.c │ │ │ ├── j332a.c │ │ │ ├── j332b.c │ │ │ ├── j409a.c │ │ │ ├── j409b.c │ │ │ ├── j500a.c │ │ │ ├── j501a.c │ │ │ ├── j501b.c │ │ │ ├── j501c.c │ │ │ ├── j501d.c │ │ │ ├── j502a.c │ │ │ ├── j502b.c │ │ │ ├── j503a.c │ │ │ ├── j504a.c │ │ │ └── j506a.c │ │ ├── neutral │ │ │ └── j009h.c │ │ └── positive │ │ │ ├── j004a.c │ │ │ ├── j004b.c │ │ │ ├── j004c.c │ │ │ ├── j004d.c │ │ │ ├── j004e.c │ │ │ ├── j004f.c │ │ │ ├── j004g.c │ │ │ ├── j004h.c │ │ │ ├── j008a.c │ │ │ ├── j008b.c │ │ │ ├── j008c.c │ │ │ ├── j008d.c │ │ │ ├── j008e.c │ │ │ ├── j008f.c │ │ │ ├── j009a.c │ │ │ ├── j009b.c │ │ │ ├── j009c.c │ │ │ ├── j009d.c │ │ │ ├── j009e.c │ │ │ ├── j009f.c │ │ │ ├── j009g.c │ │ │ ├── j009i.c │ │ │ ├── j010a.c │ │ │ ├── j010b.c │ │ │ ├── j010c.c │ │ │ ├── j015.c │ │ │ ├── j015b.c │ │ │ ├── j015c.c │ │ │ ├── j017a.c │ │ │ ├── j017b.c │ │ │ ├── j017c.c │ │ │ ├── j019a.c │ │ │ ├── j019b.c │ │ │ ├── j020a.c │ │ │ ├── j020b.c │ │ │ ├── j021a.c │ │ │ ├── j021b.c │ │ │ ├── j021c.c │ │ │ ├── j021d.c │ │ │ ├── j021e.c │ │ │ ├── j021f.c │ │ │ ├── j022a.c │ │ │ ├── j026a.c │ │ │ ├── j027a.c │ │ │ ├── j027b.c │ │ │ ├── j032a.c │ │ │ ├── j032b.c │ │ │ ├── j033a.c │ │ │ ├── j033b.c │ │ │ ├── j033c.c │ │ │ ├── j036a.c │ │ │ ├── j036b.c │ │ │ ├── j036c.c │ │ │ ├── j037a.c │ │ │ ├── j037b.c │ │ │ ├── j038a.c │ │ │ ├── j038b.c │ │ │ ├── j038c.c │ │ │ ├── j040a.c │ │ │ ├── j040b.c │ │ │ ├── j040c.c │ │ │ ├── j041a.c │ │ │ ├── j043a.c │ │ │ ├── j044a.c │ │ │ ├── j046a.c │ │ │ ├── j046b.c │ │ │ ├── j046c.c │ │ │ ├── j047a.c │ │ │ ├── j047b.c │ │ │ ├── j047c.c │ │ │ ├── j048a.c │ │ │ ├── j048b.c │ │ │ ├── j049a.c │ │ │ ├── j049b.c │ │ │ ├── j049c.c │ │ │ ├── j052a.c │ │ │ ├── j052b.c │ │ │ ├── j053a.c │ │ │ ├── j055a.c │ │ │ ├── j055b.c │ │ │ ├── j055c.c │ │ │ ├── j055d.c │ │ │ ├── j055e.c │ │ │ ├── j056a.c │ │ │ ├── j058a.c │ │ │ ├── j058b.c │ │ │ ├── j058c.c │ │ │ ├── j058d.c │ │ │ ├── j058e.c │ │ │ ├── j060a.c │ │ │ ├── j060b.c │ │ │ ├── j061a.c │ │ │ ├── j061b.c │ │ │ ├── j062a.c │ │ │ ├── j062b.c │ │ │ ├── j064a.c │ │ │ ├── j064b.c │ │ │ ├── j065a.c │ │ │ ├── j065b.c │ │ │ ├── j067a.c │ │ │ ├── j067b.c │ │ │ ├── j067c.c │ │ │ ├── j067d.c │ │ │ ├── j068a.c │ │ │ ├── j070a.c │ │ │ ├── j071a.c │ │ │ ├── j072a.c │ │ │ ├── j073a.c │ │ │ ├── j075a.c │ │ │ ├── j075b.c │ │ │ ├── j075c.c │ │ │ ├── j075d.c │ │ │ ├── j075e.c │ │ │ ├── j075f.c │ │ │ ├── j076a.c │ │ │ ├── j078a.c │ │ │ ├── j079a.c │ │ │ ├── j079b.c │ │ │ ├── j079c.c │ │ │ ├── j079d.c │ │ │ ├── j079e.c │ │ │ ├── j079f.c │ │ │ ├── j079g.c │ │ │ ├── j079h.c │ │ │ ├── j079i.c │ │ │ ├── j079j.c │ │ │ ├── j082a.c │ │ │ ├── j082b.c │ │ │ ├── j083a.c │ │ │ ├── j083b.c │ │ │ ├── j084a.c │ │ │ ├── j086a.c │ │ │ ├── j088a.c │ │ │ ├── j089a.c │ │ │ ├── j089b.c │ │ │ ├── j090a.c │ │ │ ├── j301a.c │ │ │ ├── j302a.c │ │ │ ├── j303a.c │ │ │ ├── j303b.c │ │ │ ├── j304a.c │ │ │ ├── j305a.c │ │ │ ├── j306a.c │ │ │ ├── j307a.c │ │ │ ├── j307b.c │ │ │ ├── j307c.c │ │ │ ├── j308a.c │ │ │ ├── j309a.c │ │ │ ├── j310a.c │ │ │ ├── j310b.c │ │ │ ├── j310c.c │ │ │ ├── j311a.c │ │ │ ├── j315a.c │ │ │ ├── j315b.c │ │ │ ├── j316a.c │ │ │ ├── j319a.c │ │ │ ├── j319b.c │ │ │ ├── j320a.c │ │ │ ├── j320b.c │ │ │ ├── j321a.c │ │ │ ├── j321b.c │ │ │ ├── j322a.c │ │ │ ├── j322b.c │ │ │ ├── j323a.c │ │ │ ├── j324a.c │ │ │ ├── j332a.c │ │ │ ├── j332b.c │ │ │ ├── j409a.c │ │ │ ├── j409b.c │ │ │ ├── j500a.c │ │ │ ├── j501a.c │ │ │ ├── j501b.c │ │ │ ├── j501c.c │ │ │ ├── j501d.c │ │ │ ├── j502a.c │ │ │ ├── j502b.c │ │ │ ├── j503a.c │ │ │ ├── j504a.c │ │ │ └── j506a.c │ └── melt │ │ ├── README │ │ ├── negative │ │ ├── 1.c │ │ ├── bad_array_init.c │ │ ├── duplicate_anon_struct_field.c │ │ ├── expr_type_index_1.c │ │ ├── expr_type_index_2.c │ │ ├── lvalues_1.c │ │ ├── lvalues_10.c │ │ ├── lvalues_11.c │ │ ├── lvalues_12.c │ │ ├── lvalues_13.c │ │ ├── lvalues_14.c │ │ ├── lvalues_15.c │ │ ├── lvalues_16.c │ │ ├── lvalues_17.c │ │ ├── lvalues_18.c │ │ ├── lvalues_19.c │ │ ├── lvalues_2.c │ │ ├── lvalues_20.c │ │ ├── lvalues_3.c │ │ ├── lvalues_4.c │ │ ├── lvalues_5.c │ │ ├── lvalues_6.c │ │ ├── lvalues_7.c │ │ ├── lvalues_8.c │ │ ├── lvalues_9.c │ │ ├── static-array-size.c │ │ ├── stmt_scoping_1.c │ │ ├── stmt_type_if_1.c │ │ └── stmt_type_switch_1.c │ │ ├── neutral │ │ └── typedef-c11-redeclaration.c │ │ └── positive │ │ ├── 1.c │ │ ├── anon-struct-attr.c │ │ ├── asm-1.c │ │ ├── empty_compound_init.c │ │ ├── expr-stmt-types.c │ │ ├── struct-init.c │ │ ├── struct-init2.c │ │ ├── struct-scoping.c │ │ └── typedef_1.c └── update-expected-results └── tools └── builtins ├── Builtins.def ├── BuiltinsX86.def ├── DEF_CLANG_LICENSE.TXT ├── README ├── build └── generate /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/.gitignore -------------------------------------------------------------------------------- /GETTING_STARTED.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/GETTING_STARTED.md -------------------------------------------------------------------------------- /Jenkinsfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/Jenkinsfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/README.md -------------------------------------------------------------------------------- /deep-clean: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/deep-clean -------------------------------------------------------------------------------- /extension.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/extension.mk -------------------------------------------------------------------------------- /grammars/edu.umn.cs.melt.ableC/host/Host.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/grammars/edu.umn.cs.melt.ableC/host/Host.sv -------------------------------------------------------------------------------- /grammars/edu.umn.cs.melt.ableC/testing/Main.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/grammars/edu.umn.cs.melt.ableC/testing/Main.sv -------------------------------------------------------------------------------- /mda-test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/mda-test -------------------------------------------------------------------------------- /testing/build-test-artifact: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/build-test-artifact -------------------------------------------------------------------------------- /testing/disable-test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/disable-test -------------------------------------------------------------------------------- /testing/enable-test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/enable-test -------------------------------------------------------------------------------- /testing/expected-results/negative: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/expected-results/negative -------------------------------------------------------------------------------- /testing/expected-results/neutral: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/expected-results/neutral -------------------------------------------------------------------------------- /testing/expected-results/positive: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/expected-results/positive -------------------------------------------------------------------------------- /testing/open-broken-test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/open-broken-test -------------------------------------------------------------------------------- /testing/print-parse-errors: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/print-parse-errors -------------------------------------------------------------------------------- /testing/print-semantic-errors: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/print-semantic-errors -------------------------------------------------------------------------------- /testing/runTests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/runTests -------------------------------------------------------------------------------- /testing/tests/gcc/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/README -------------------------------------------------------------------------------- /testing/tests/gcc/assemble/positive/pr54436.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/assemble/positive/pr54436.c -------------------------------------------------------------------------------- /testing/tests/gcc/assemble/positive/pr56195.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/assemble/positive/pr56195.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/20041207.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/20041207.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/920616-2.c: -------------------------------------------------------------------------------- 1 | f(void a,...){} /* { dg-error "has incomplete type" } */ 2 | -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/920721-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/920721-2.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/920824-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/920824-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/921102-1.c: -------------------------------------------------------------------------------- 1 | int x[]={[0.3 ... 4.6]9}; /* { dg-error "not of integer type|near init" } */ 2 | -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/921116-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/921116-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/930301-1.c: -------------------------------------------------------------------------------- 1 | struct a *q; 2 | f() 3 | { 4 | q++; /* { dg-error "pointer to" } */ 5 | } 6 | -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/930622-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/930622-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/930622-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/930622-2.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/930714-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/930714-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/931203-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/931203-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/940112-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/940112-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/940227-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/940227-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/950825-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/950825-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/950921-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/950921-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/951123-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/951123-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/971104-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/971104-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/990416-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/990416-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/incomplete-4.c: -------------------------------------------------------------------------------- 1 | void foo() 2 | { 3 | enum E e; /* { dg-error "storage size" } */ 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/init-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/init-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/init-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/init-2.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/init-4.c: -------------------------------------------------------------------------------- 1 | struct a { char *b; } c[D]; /* { dg-error "undeclared" } */ 2 | -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/init-5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/init-5.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/pr23576.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/pr23576.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/pr35444-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/pr35444-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/pr35444-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/pr35444-2.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/pr35447-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/pr35447-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/pr40033-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/pr40033-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/pr44517.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/pr44517.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/pr52290.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/pr52290.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/redecl-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/redecl-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/scope.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/scope.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/negative/va-arg-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/negative/va-arg-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/neutral/attr-nest.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/neutral/attr-nest.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/neutral/pr37645.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/neutral/pr37645.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/neutral/pr50287.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/neutral/pr50287.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/980816-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/980816-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/array-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/array-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/conv-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/conv-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/decl-6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/decl-6.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/loop-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/loop-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr21085.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr21085.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr25481.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr25481.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr26672.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr26672.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr26869.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr26869.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr26998.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr26998.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr27409.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr27409.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr27773.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr27773.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr28268.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr28268.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr28814.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr28814.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr29119.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr29119.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr29446.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr29446.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr29584.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr29584.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr30313.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr30313.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr31254.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr31254.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr32041.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr32041.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr33655.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr33655.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr33691.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr33691.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr33692.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr33692.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr33693.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr33693.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr33695.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr33695.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr33696.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr33696.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr33697.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr33697.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr33724.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr33724.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr33726.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr33726.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr35227.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr35227.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr35842.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr35842.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr38957.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr38957.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr39712.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr39712.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr43781.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr43781.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr44695.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr44695.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr44807.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr44807.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr45461.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr45461.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr45732.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr45732.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr45860.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr45860.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr45869.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr45869.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr46068.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr46068.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr46216.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr46216.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr46723.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr46723.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr47281.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr47281.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr47370.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr47370.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr47411.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr47411.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr47677.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr47677.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr47725.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr47725.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr47743.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr47743.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr47890.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr47890.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr48098.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr48098.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr48493.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr48493.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr48731.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr48731.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr48822.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr48822.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr49603.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr49603.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr50092.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr50092.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr50333.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr50333.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr50723.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr50723.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr50838.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr50838.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr50890.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr50890.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr50902.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr50902.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr51042.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr51042.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr51070.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr51070.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr51071.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr51071.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr51245.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr51245.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr51692.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr51692.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr51760.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr51760.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr51801.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr51801.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr51949.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr51949.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr52170.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr52170.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr52298.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr52298.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr52355.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr52355.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr52493.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr52493.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr52549.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr52549.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr52756.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr52756.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr52881.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr52881.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr52912.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr52912.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr52913.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr52913.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr53144.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr53144.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr53168.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr53168.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr53390.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr53390.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr53408.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr53408.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr53589.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr53589.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr53790.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr53790.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr54098.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr54098.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr54109.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr54109.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr54127.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr54127.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr54327.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr54327.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr54409.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr54409.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr54458.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr54458.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr54520.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr54520.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr55011.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr55011.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr55107.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr55107.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr55111.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr55111.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr55124.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr55124.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr55238.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr55238.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr55270.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr55270.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr55684.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr55684.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr55687.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr55687.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr55862.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr55862.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr55888.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr55888.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr56150.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr56150.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr56167.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr56167.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr56349.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr56349.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr56366.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr56366.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr56384.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr56384.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr56478.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr56478.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr57214.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr57214.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/pr57330.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/pr57330.c -------------------------------------------------------------------------------- /testing/tests/gcc/compile/positive/union-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/compile/positive/union-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/convert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/default/positive/convert.h -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/dfp-dbg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/default/positive/dfp-dbg.h -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/dll-10a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/default/positive/dll-10a.c -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/dll-11a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/default/positive/dll-11a.c -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/dll-12a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/default/positive/dll-12a.c -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/dll-6a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/default/positive/dll-6a.c -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/dll-7a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/default/positive/dll-7a.c -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/dll-9a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/default/positive/dll-9a.c -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/local1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/default/positive/local1.c -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/nop.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/default/positive/nop.h -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/pr17322.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/default/positive/pr17322.c -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/pr26004.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/default/positive/pr26004.c -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/pr33919-0.h: -------------------------------------------------------------------------------- 1 | char *pre_inc_base_file = __BASE_FILE__; 2 | -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/pr33919-1.h: -------------------------------------------------------------------------------- 1 | #include "pr33919-2.h" 2 | char *inc_base_file = __BASE_FILE__; 3 | -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/pr33919-2.h: -------------------------------------------------------------------------------- 1 | char *nested_inc_base_file = __BASE_FILE__; 2 | -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/pr34457-2.c: -------------------------------------------------------------------------------- 1 | /* Additional file for PR c/34457. */ 2 | 3 | int x; 4 | -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/pr35771.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/default/positive/pr35771.h -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/pr36901-system.h: -------------------------------------------------------------------------------- 1 | #pragma GCC system_header 2 | #include "pr36901.h" 3 | 4 | -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/pr36901.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/default/positive/pr36901.h -------------------------------------------------------------------------------- /testing/tests/gcc/default/positive/pr40340.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/default/positive/pr40340.h -------------------------------------------------------------------------------- /testing/tests/gcc/link/positive/pr15347.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/link/positive/pr15347.c -------------------------------------------------------------------------------- /testing/tests/gcc/link/positive/pr15785-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/link/positive/pr15785-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/link/positive/pr26983.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/link/positive/pr26983.c -------------------------------------------------------------------------------- /testing/tests/gcc/link/positive/pr30951.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/link/positive/pr30951.c -------------------------------------------------------------------------------- /testing/tests/gcc/link/positive/pr33848.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/link/positive/pr33848.c -------------------------------------------------------------------------------- /testing/tests/gcc/link/positive/switch-8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/link/positive/switch-8.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/20000906-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/20000906-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/20020607-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/20020607-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/20030323-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/20030323-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/20040305-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/20040305-2.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/20041219-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/20041219-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/20110718-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/20110718-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/atomic-flag.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/atomic-flag.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/builtins-64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/builtins-64.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/fp-compare.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/fp-compare.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/loop-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/loop-2.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/nrv1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/nrv1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/postincr-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/postincr-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr25654.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr25654.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr25718-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr25718-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr26258.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr26258.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr26763-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr26763-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr26763-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr26763-2.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr26898-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr26898-2.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr27116-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr27116-2.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr27116.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr27116.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr27184.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr27184.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr27302.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr27302.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr27603.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr27603.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr28045.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr28045.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr30364-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr30364-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr30364-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr30364-2.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr30375.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr30375.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr30665-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr30665-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr30665-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr30665-2.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr31115.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr31115.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr33560.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr33560.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr33563.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr33563.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr33870.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr33870.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr34174-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr34174-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr35634.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr35634.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr36373-10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr36373-10.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr36373-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr36373-3.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr36373-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr36373-4.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr36373-7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr36373-7.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr36373-9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr36373-9.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr37731-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr37731-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr37731-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr37731-2.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr38405.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr38405.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr38615.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr38615.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr43360.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr43360.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr44913.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr44913.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr45967-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr45967-2.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr45967-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr45967-3.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr45967.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr45967.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr46398.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr46398.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr47364-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr47364-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr47365.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr47365.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr47621.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr47621.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr48124-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr48124-2.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr48124-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr48124-3.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr48542.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr48542.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr48702.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr48702.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr49079.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr49079.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr49651.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr49651.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr50067-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr50067-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr50067-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr50067-2.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr50067-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr50067-4.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr50067-5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr50067-5.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr52244.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr52244.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr52406.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr52406.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr52419.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr52419.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr52530.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr52530.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr52693.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr52693.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr52943.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr52943.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr53366-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr53366-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr53366-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr53366-2.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr53501.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr53501.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr53663-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr53663-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr53663-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr53663-2.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr53663-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr53663-3.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr53908.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr53908.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr54027.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr54027.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr54132.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr54132.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr55253.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr55253.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr55305.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr55305.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr55481.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr55481.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr55555.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr55555.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr55882.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr55882.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr56407.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr56407.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr56488.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr56488.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr56661.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr56661.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr57303.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr57303.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/pr8081.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/pr8081.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/reassoc-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/reassoc-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/restrict-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/restrict-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/titype-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/titype-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/unaligned-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/unaligned-1.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/union-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/union-2.c -------------------------------------------------------------------------------- /testing/tests/gcc/run/positive/vec-cvt-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/gcc/run/positive/vec-cvt-1.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/_G_config.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/_G_config.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/a.out.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/a.out.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/aio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/aio.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/aliases.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/aliases.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/alloca.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/alloca.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/ar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/ar.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/argp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/argp.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/argz.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/argz.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/assert.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/assert.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/byteswap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/byteswap.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/complex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/complex.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/cpio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/cpio.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/cpuid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/cpuid.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/crypt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/crypt.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/ctype.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/ctype.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/dirent.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/dirent.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/dlfcn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/dlfcn.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/elf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/elf.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/emmintrin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/emmintrin.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/endian.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/endian.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/envz.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/envz.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/err.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/err.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/errno.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/errno.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/error.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/eti.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/eti.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/execinfo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/execinfo.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/fcntl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/fcntl.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/features.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/features.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/fenv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/fenv.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/float.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/float.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/fmtmsg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/fmtmsg.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/fnmatch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/fnmatch.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/form.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/form.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/fstab.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/fstab.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/fts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/fts.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/ftw.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/ftw.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/gconv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/gconv.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/getopt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/getopt.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/gettext-po.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/gettext-po.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/glob.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/glob.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/gmp-x86_64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/gmp-x86_64.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/gmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/gmp.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/grp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/grp.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/gshadow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/gshadow.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/iconv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/iconv.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/ieee754.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/ieee754.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/ifaddrs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/ifaddrs.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/immintrin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/immintrin.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/inttypes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/inttypes.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/iso646.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/iso646.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/langinfo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/langinfo.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/lastlog.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/lastlog.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/libgen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/libgen.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/libintl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/libintl.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/libio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/libio.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/libutil.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/libutil.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/limits.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/limits.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/link.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/link.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/locale.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/locale.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/malloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/malloc.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/math.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/math.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/mcheck.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/mcheck.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/memory.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/menu.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/menu.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/mm3dnow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/mm3dnow.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/mm_malloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/mm_malloc.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/mmintrin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/mmintrin.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/mntent.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/mntent.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/monetary.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/monetary.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/mqueue.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/mqueue.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/nc_tparm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/nc_tparm.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/ncurses.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/ncurses.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/ncurses_dll.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/ncurses_dll.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/netdb.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/netdb.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/nl_types.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/nl_types.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/nlist.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/nlist.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/nss.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/nss.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/obstack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/obstack.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/omp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/omp.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/panel.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/panel.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/paths.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/paths.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/poll.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/poll.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/printf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/printf.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/pthread.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/pthread.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/pty.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/pty.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/pwd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/pwd.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/re_comp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/re_comp.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/regex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/regex.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/resolv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/resolv.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/sched.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/sched.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/search.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/search.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/semaphore.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/semaphore.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/setjmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/setjmp.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/sgtty.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/sgtty.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/shadow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/shadow.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/signal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/signal.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/spawn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/spawn.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/stab.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/stab.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/stdarg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/stdarg.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/stdbool.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/stdbool.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/stddef.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/stddef.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/stdfix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/stdfix.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/stdint-gcc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/stdint-gcc.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/stdint.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/stdint.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/stdio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/stdio.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/stdio_ext.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/stdio_ext.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/stdlib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/stdlib.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/string.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/string.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/strings.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/strings.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/stropts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/stropts.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/sudo_plugin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/sudo_plugin.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/syscall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/syscall.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/sysexits.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/sysexits.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/syslog.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/syslog.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/tar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/tar.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/term.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/term.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/term_entry.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/term_entry.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/termcap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/termcap.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/termio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/termio.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/termios.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/termios.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/tgmath.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/tgmath.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/thread_db.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/thread_db.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/tic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/tic.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/time.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/time.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/ttyent.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/ttyent.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/ucontext.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/ucontext.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/ulimit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/ulimit.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/unctrl.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/unctrl.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/unistd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/unistd.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/ustat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/ustat.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/utime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/utime.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/utmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/utmp.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/utmpx.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/utmpx.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/values.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/values.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/vis.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/vis.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/wait.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/wait.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/wchar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/wchar.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/wctype.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/wctype.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/wordexp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/wordexp.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/x86intrin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/x86intrin.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/xlocale.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/xlocale.c -------------------------------------------------------------------------------- /testing/tests/headers/positive/xmmintrin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/headers/positive/xmmintrin.c -------------------------------------------------------------------------------- /testing/tests/kframework/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/README -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j004a.c: -------------------------------------------------------------------------------- 1 | float main(void){ 2 | return 0; 3 | } 4 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j004b.c: -------------------------------------------------------------------------------- 1 | int main(int n){ 2 | return 0; 3 | } 4 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j004c.c: -------------------------------------------------------------------------------- 1 | int _main(void){ 2 | return 0; 3 | } 4 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j004d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j004d.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j004e.c: -------------------------------------------------------------------------------- 1 | // kcc-assert-error(00026) 2 | int main(float x, char** y){ 3 | } 4 | 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j004f.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j004f.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j004g.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j004g.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j004h.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j004h.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j008a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j008a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j008b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j008b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j008c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j008c.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j008d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j008d.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j008e.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j008e.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j008f.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j008f.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j009a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j009a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j009b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j009b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j009c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j009c.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j009d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j009d.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j009e.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j009e.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j009f.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j009f.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j009g.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j009g.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j009h.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j009h.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j009i.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j009i.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j010a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j010a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j010b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j010b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j010c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j010c.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j015.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j015.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j015b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j015b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j015c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j015c.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j017a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j017a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j017b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j017b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j017c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j017c.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j019a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | *(char*)10; 3 | } 4 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j019b.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | char a[5] = {1, 2, 3, 4, 5}; 3 | return *(int*)(&a[4]); 4 | } 5 | 6 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j020a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j020a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j020b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j020b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j021a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j021a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j021b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j021b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j021c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j021c.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j021d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j021d.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j021e.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j021e.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j021f.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j021f.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j022a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j022a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j026a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j026a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j027a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | 'x 3 | '; 4 | return 0; 5 | } 6 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j027b.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | "x 3 | "; 4 | return 0; 5 | } 6 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j032a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j032a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j032b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j032b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j033a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | "hello"[0] = 'x'; 3 | } 4 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j033b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j033b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j033c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j033c.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j036a.c: -------------------------------------------------------------------------------- 1 | #include 2 | 3 | int main(void){ 4 | INT_MIN % -1; 5 | return 0; 6 | } 7 | 8 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j036b.c: -------------------------------------------------------------------------------- 1 | #include 2 | int main(void){ 3 | INT_MAX + 1; 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j036c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j036c.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j037a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j037a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j037b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j037b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j038a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j038a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j038b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j038b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j038c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j038c.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j040a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j040a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j040b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j040b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j040c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j040c.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j041a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j041a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j043a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j043a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j044a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j044a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j046a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | int a; 3 | &a+2; 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j046b.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | int a[2]; 3 | (a + 3); 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j046c.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | int a; 3 | &a - 1; 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j047a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j047a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j047b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j047b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j047c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j047c.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j048a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j048a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j048b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j048b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j049a.c: -------------------------------------------------------------------------------- 1 | // kcc-assert-error(00044) 2 | int main(void){ 3 | int a[4][5] = {0}; 4 | a[1][7]; 5 | } 6 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j049b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j049b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j049c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j049c.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j052a.c: -------------------------------------------------------------------------------- 1 | // kcc-assert-error(00022) 2 | int main(void){ 3 | -1 << 5; 4 | } 5 | 6 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j053a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j053a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j055a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j055a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j055b.c: -------------------------------------------------------------------------------- 1 | enum e {a = 5.5}; 2 | int main(void){ 3 | 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j055c.c: -------------------------------------------------------------------------------- 1 | int x; 2 | enum e {a = &x}; 3 | int main(void){ 4 | 5 | } 6 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j055d.c: -------------------------------------------------------------------------------- 1 | int a[5.5]; 2 | int main(void){ 3 | 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j055e.c: -------------------------------------------------------------------------------- 1 | int x; 2 | enum e {a = 5 + (int)&x}; 3 | int main(void){ 4 | 5 | } 6 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j056a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j056a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j058a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j058a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j058b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j058b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j058c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j058c.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j058d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j058d.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j058e.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j058e.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j060a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | int f(); 3 | } 4 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j060b.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | static int f(); 3 | } 4 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j061a.c: -------------------------------------------------------------------------------- 1 | struct s { 2 | }; 3 | 4 | int main(void){ 5 | 6 | } 7 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j061b.c: -------------------------------------------------------------------------------- 1 | union s { 2 | }; 3 | 4 | int main(void){ 5 | 6 | } 7 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j062a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j062a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j062b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j062b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j064a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j064a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j064b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j064b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j065a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j065a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j065b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j065b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j067a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j067a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j067b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j067b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j067c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j067c.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j067d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j067d.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j068a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j068a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j070a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j070a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j071a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j071a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j072a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j072a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j073a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j073a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j075a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j075a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j075b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j075b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j075c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j075c.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j075d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j075d.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j075e.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j075e.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j075f.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j075f.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j076a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j076a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j078a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j078a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j079a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j079a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j079b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j079b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j079c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j079c.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j079d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j079d.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j079e.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j079e.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j079f.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j079f.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j079g.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j079g.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j079h.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j079h.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j079i.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j079i.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j079j.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j079j.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j082a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | int x = {0, 1}; 3 | return x; 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j082b.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | int x = (0; 1); 3 | return x; 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j083a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j083a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j083b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j083b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j084a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j084a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j086a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j086a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j088a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j088a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j089a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j089a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j089b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j089b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j090a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j090a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j301a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j301a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j302a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j302a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j303a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j303a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j303b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j303b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j304a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j304a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j305a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j305a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j306a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j306a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j307a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j307a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j307b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j307b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j307c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j307c.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j308a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j308a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j309a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j309a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j310a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j310a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j310b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j310b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j310c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j310c.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j311a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j311a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j315a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j315a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j315b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j315b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j316a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j316a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j319a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j319a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j319b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j319b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j320a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j320a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j320b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j320b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j321a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | 5 << -1; 3 | return 0; 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j321b.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | 5 >> -1; 3 | return 0; 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j322a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j322a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j322b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j322b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j323a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j323a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j324a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j324a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j332a.c: -------------------------------------------------------------------------------- 1 | // kcc-assert-error(00021) 2 | int main(void){ 3 | x; 4 | } 5 | 6 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j332b.c: -------------------------------------------------------------------------------- 1 | // kcc-assert-error(00021) 2 | int main(void){ 3 | printf(""); 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j409a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j409a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j409b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j409b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j500a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j500a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j501a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j501a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j501b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j501b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j501c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j501c.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j501d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j501d.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j502a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j502a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j502b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j502b.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j503a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | int a[0]; 3 | } 4 | 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j504a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j504a.c -------------------------------------------------------------------------------- /testing/tests/kframework/negative/j506a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/negative/j506a.c -------------------------------------------------------------------------------- /testing/tests/kframework/neutral/j009h.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/neutral/j009h.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j004a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | return 0; 3 | } 4 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j004b.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | return 0; 3 | } 4 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j004c.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | return 0; 3 | } 4 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j004d.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | 3 | } 4 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j004e.c: -------------------------------------------------------------------------------- 1 | int main(int x, char** y){ 2 | } 3 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j004f.c: -------------------------------------------------------------------------------- 1 | int main(int x, char** y){ 2 | 3 | } 4 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j004g.c: -------------------------------------------------------------------------------- 1 | int main(int a, char** b){ 2 | 3 | } 4 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j004h.c: -------------------------------------------------------------------------------- 1 | int main(void){ } 2 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j008a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j008a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j008b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j008b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j008c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j008c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j008d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j008d.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j008e.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j008e.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j008f.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j008f.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j009a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j009a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j009b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j009b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j009c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j009c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j009d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j009d.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j009e.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j009e.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j009f.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j009f.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j009g.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j009g.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j009i.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j009i.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j010a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j010a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j010b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j010b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j010c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j010c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j015.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j015.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j015b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j015b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j015c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j015c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j017a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j017a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j017b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j017b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j017c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j017c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j019a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | int x = 5; 3 | *(char*)(&x); 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j019b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j019b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j020a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j020a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j020b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j020b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j021a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j021a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j021b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j021b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j021c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j021c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j021d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j021d.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j021e.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j021e.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j021f.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j021f.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j022a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j022a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j026a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j026a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j027a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | 'x'; 3 | return 0; 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j027b.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | "x"; 3 | return 0; 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j032a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j032a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j032b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j032b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j033a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | char s[] = "hello"; 3 | s[0] = 'x'; 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j033b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j033b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j033c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j033c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j036a.c: -------------------------------------------------------------------------------- 1 | #include 2 | 3 | int main(void){ 4 | INT_MIN % 1; 5 | return 0; 6 | } 7 | 8 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j036b.c: -------------------------------------------------------------------------------- 1 | #include 2 | int main(void){ 3 | INT_MAX - 1; 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j036c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j036c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j037a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j037a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j037b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j037b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j038a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j038a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j038b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j038b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j038c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j038c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j040a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j040a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j040b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j040b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j040c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j040c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j041a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j041a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j043a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | int a[5] = {1, 2, 3, 4, 5}; 3 | *(&a[4]); 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j044a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j044a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j046a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | int a; 3 | &a+1; 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j046b.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | int a[2]; 3 | (a + 2); 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j046c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j046c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j047a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j047a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j047b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j047b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j047c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j047c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j048a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j048a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j048b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j048b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j049a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | int a[4][5] = {0}; 3 | a[2][3]; 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j049b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j049b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j049c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j049c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j052a.c: -------------------------------------------------------------------------------- 1 | // kcc-assert-error(00022) 2 | int main(void){ 3 | 1 << 5; 4 | } 5 | 6 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j053a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j053a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j055a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j055a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j055b.c: -------------------------------------------------------------------------------- 1 | enum e {a = 5}; 2 | int main(void){ 3 | 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j055c.c: -------------------------------------------------------------------------------- 1 | int x; 2 | enum e {a = 5}; 3 | int main(void){ 4 | 5 | } 6 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j055d.c: -------------------------------------------------------------------------------- 1 | int a[5]; 2 | int main(void){ 3 | 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j055e.c: -------------------------------------------------------------------------------- 1 | int x; 2 | enum e {a = 5 + (int)3}; 3 | int main(void){ 4 | 5 | } 6 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j056a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j056a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j058a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j058a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j058b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j058b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j058c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j058c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j058d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j058d.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j058e.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j058e.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j060a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j060a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j060b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j060b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j061a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j061a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j061b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j061b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j062a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j062a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j062b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j062b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j064a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j064a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j064b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j064b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j065a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j065a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j065b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j065b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j067a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j067a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j067b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j067b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j067c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j067c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j067d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j067d.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j068a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j068a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j070a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j070a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j071a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j071a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j072a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j072a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j073a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j073a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j075a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j075a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j075b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j075b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j075c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j075c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j075d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j075d.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j075e.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j075e.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j075f.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j075f.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j076a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j076a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j078a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j078a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j079a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j079a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j079b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j079b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j079c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j079c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j079d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j079d.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j079e.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j079e.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j079f.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j079f.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j079g.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j079g.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j079h.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j079h.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j079i.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j079i.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j079j.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j079j.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j082a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | int x = 0; 3 | return x; 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j082b.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | int x = 0; 3 | return x; 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j083a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j083a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j083b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j083b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j084a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j084a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j086a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j086a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j088a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j088a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j089a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j089a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j089b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j089b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j090a.c: -------------------------------------------------------------------------------- 1 | int a[]; 2 | 3 | int main(void) { 4 | return 0; 5 | } 6 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j301a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j301a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j302a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j302a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j303a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j303a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j303b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j303b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j304a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j304a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j305a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j305a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j306a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j306a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j307a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j307a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j307b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j307b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j307c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j307c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j308a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j308a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j309a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j309a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j310a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j310a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j310b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j310b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j310c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j310c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j311a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j311a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j315a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j315a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j315b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j315b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j316a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j316a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j319a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j319a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j319b.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | 5 / 1; 3 | return 0; 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j320a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j320a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j320b.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | 5 % 1; 3 | return 0; 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j321a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | 5 << 1; 3 | return 0; 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j321b.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | 5 >> 1; 3 | return 0; 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j322a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j322a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j322b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j322b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j323a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j323a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j324a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j324a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j332a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | int x = 0; 3 | x; 4 | } 5 | 6 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j332b.c: -------------------------------------------------------------------------------- 1 | #include 2 | int main(void){ 3 | printf(""); 4 | } 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j409a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j409a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j409b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j409b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j500a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j500a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j501a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j501a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j501b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j501b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j501c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j501c.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j501d.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j501d.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j502a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j502a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j502b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j502b.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j503a.c: -------------------------------------------------------------------------------- 1 | int main(void){ 2 | int a[1]; 3 | } 4 | 5 | -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j504a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j504a.c -------------------------------------------------------------------------------- /testing/tests/kframework/positive/j506a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/kframework/positive/j506a.c -------------------------------------------------------------------------------- /testing/tests/melt/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/README -------------------------------------------------------------------------------- /testing/tests/melt/negative/1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/1.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/bad_array_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/bad_array_init.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_1.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_10.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_11.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_11.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_12.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_12.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_13.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_13.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_14.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_14.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_15.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_15.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_16.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_17.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_17.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_18.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_18.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_19.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_19.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_2.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_20.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_20.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_3.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_4.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_5.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_6.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_7.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_8.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/lvalues_9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/lvalues_9.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/stmt_scoping_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/negative/stmt_scoping_1.c -------------------------------------------------------------------------------- /testing/tests/melt/negative/stmt_type_if_1.c: -------------------------------------------------------------------------------- 1 | struct foo { } bar; 2 | 3 | void f() { 4 | 5 | if(bar) ; // `scalar` 6 | 7 | } 8 | -------------------------------------------------------------------------------- /testing/tests/melt/positive/1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/positive/1.c -------------------------------------------------------------------------------- /testing/tests/melt/positive/asm-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/positive/asm-1.c -------------------------------------------------------------------------------- /testing/tests/melt/positive/struct-init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/positive/struct-init.c -------------------------------------------------------------------------------- /testing/tests/melt/positive/struct-init2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/positive/struct-init2.c -------------------------------------------------------------------------------- /testing/tests/melt/positive/struct-scoping.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/positive/struct-scoping.c -------------------------------------------------------------------------------- /testing/tests/melt/positive/typedef_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/tests/melt/positive/typedef_1.c -------------------------------------------------------------------------------- /testing/update-expected-results: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/testing/update-expected-results -------------------------------------------------------------------------------- /tools/builtins/Builtins.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/tools/builtins/Builtins.def -------------------------------------------------------------------------------- /tools/builtins/BuiltinsX86.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/tools/builtins/BuiltinsX86.def -------------------------------------------------------------------------------- /tools/builtins/DEF_CLANG_LICENSE.TXT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/tools/builtins/DEF_CLANG_LICENSE.TXT -------------------------------------------------------------------------------- /tools/builtins/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/tools/builtins/README -------------------------------------------------------------------------------- /tools/builtins/build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/tools/builtins/build -------------------------------------------------------------------------------- /tools/builtins/generate: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/melt-umn/ableC/HEAD/tools/builtins/generate --------------------------------------------------------------------------------