Commit
f0c9c9b16cd1d7a36d8412b7e46a990e61d51543
by Peter Buhr formatting The file was modified tests/exceptions/hotpotato.cfa The file was modified tests/exceptions/hotpotato_checked.cfa
Commit
b262cb319ecbb4a4d3556a10cd2adc1ef8640982
by ajbeach Unified and fixed handling of parameter attributes. The file was modified src/AST/Attribute.cpp The file was modified src/Validate/Autogen.cpp The file was modified src/Validate/ReplaceTypedef.cpp
Commit
7db39f71234f399e13cf900f8d2b882a203038f3
by Peter Buhr second attempt to interpose dl_iterate_phdr with disable/enable interrupt protection The file was modified libcfa/src/interpose.cfa
Commit
ee16f8fc60a09f87eb434142a0162248878b89a8
by Michael Brooks Attempt to fix overnight build; add test-suite Makefile entry missing from cfbc56ecb. The file was modified tests/Makefile.am
Commit
a3f820b8df8e324ea23e2462c94f1aa1910acdf2
by Peter Buhr interpose experiment to see if it is causing the build failure The file was modified libcfa/src/interpose.cfa
Commit
5ecaeca582db8a0038f47d9ffc0c88db206dfc19
by Peter Buhr first documentation for string API The file was modified doc/user/user.tex
Commit
479fbe377d83fb9941a02a57b51b980995a449d1
by Peter Buhr formatting, add string constructor for char, add string *= operator, simplify ?+? and ?*? operations The file was modified libcfa/src/collections/string.cfa The file was modified libcfa/src/collections/string.hfa
Commit
739495a2dfb9ddf9e1f5cab76d8451ea64d277b3
by Peter Buhr change shape of latex minus sign, change lstlisting escapechar from $ to section symbol The file was modified doc/LaTeXmacros/common.tex The file was modified doc/LaTeXmacros/common.sty
Commit
38951c316de3e4ae1583d45726880474bcdeba7c
by Michael Brooks Add missing test for string *= and refactor */*= to follow +/+= pattern with string_res. The file was modified libcfa/src/collections/string_res.hfa The file was modified tests/collections/string-api-coverage.cfa The file was modified tests/collections/.expect/string-api-coverage.txt The file was modified libcfa/src/collections/string.cfa The file was modified libcfa/src/collections/string_res.cfa
Commit
06280adaadd325290fe5bd8958152ae76cb84100
by Peter Buhr formatting The file was modified libcfa/src/collections/string_res.cfa
Commit
e891349fb7fcd052e543e9f994ba7bdc3f0ddad6
by Michael Brooks Tweak string assignment-strcpy-strncpy and concatenate-strcat-strncat declarations. Implement -n- versions correctly. Refactor to include string_res layer. Add missing tests. The file was modified libcfa/src/collections/string.cfa The file was modified tests/collections/.expect/string-api-coverage.txt The file was modified libcfa/src/collections/string_res.cfa The file was modified tests/collections/string-api-coverage.cfa The file was modified libcfa/src/collections/string_res.hfa The file was modified libcfa/src/collections/string.hfa
Commit
5bf685f0d09d252adfe4d47e63f8e37b99c421b6
by ajbeach Replayed maybeClone with maybeCopy, removed unused helppers in utility.h and pushed some includes out of headers. The file was modified src/Parser/parserutility.h The file was modified src/Parser/ParseNode.h The file was modified src/Common/utility.h The file was modified src/Parser/DeclarationNode.cc The file was modified src/CodeGen/CodeGenerator.hpp The file was modified src/SymTab/GenImplicitCall.cpp The file was modified src/Parser/TypeData.cc The file was modified src/Parser/parser.yy The file was modified src/InitTweak/FixInit.cpp The file was modified src/AST/Decl.hpp The file was modified src/AST/Pass.proto.hpp
Commit
11f65b3369fa32d43b280f81c50724661e3d2e56
by ajbeach I believe switching isValidOnFuncParam from an allow-list to a forbid-list may have solved the recent nightly builds. The file was modified src/AST/Attribute.cpp
Commit
7abc3de999f40164616d9d6530aca0aba093a66e
by Michael Brooks Harmonize string constructors with assignments, refactor implementations to include string_res, add missing tests The file was modified tests/collections/.expect/string-api-coverage.txt The file was modified tests/collections/string-api-coverage.cfa The file was modified libcfa/src/collections/string.cfa The file was modified libcfa/src/collections/string.hfa The file was modified libcfa/src/collections/string_res.hfa
Commit
906d8fa2462dabd55ea8943acbe9ac9f33195f35
by Michael Brooks tidy a string-library unhelpful comment The file was modified libcfa/src/collections/string.cfa
Commit
e8b3717356ccae5e6e9b884e3b31caa47d950414
by Michael Brooks Modify substring interface from start-end to start-len, and add a missing test. The file was modified libcfa/src/collections/string_res.hfa The file was modified libcfa/src/collections/string.hfa The file was modified libcfa/src/collections/string.cfa The file was modified libcfa/src/collections/string_res.cfa The file was modified tests/collections/.expect/string-api-coverage.txt The file was modified tests/collections/string-api-coverage.cfa The file was modified tests/collections/string-overwrite.cfa
Commit
59c8dff49bbb5284b39ab27da894a644327a531a
by j82liang Draft Implementation for enum position pesudo function (posE). EnumPosExpr is mostly irrelevant for now. It is used in development/code probing and will be removed later The file was modified src/AST/Print.cpp The file was modified src/AST/Fwd.hpp The file was modified src/ResolvExpr/Resolver.cc The file was modified src/AST/Visitor.hpp The file was modified src/Validate/Autogen.cpp The file was modified src/Validate/module.mk The file was modified src/CodeGen/CodeGenerator.hpp The file was modified src/GenPoly/Box.cpp The file was modified src/AST/Expr.cpp The file was modified src/AST/Pass.impl.hpp The file was modified src/main.cc The file was modified src/AST/Expr.hpp The file was modified src/AST/Node.cpp The file was modified src/AST/Pass.hpp The file was modified src/InitTweak/InitTweak.cc The file was modified src/ResolvExpr/CandidateFinder.cpp The file was modified src/Parser/ExpressionNode.cc The file was modified src/Parser/ExpressionNode.h The file was modified src/CodeGen/CodeGenerator.cpp The file was modified src/Common/CodeLocationTools.cpp
Commit
ac939461de6b6d92ea54de7526795c26af87d313
by j82liang Add replacePseudoFunc The file was added src/Validate/ReplacePseudoFunc.cpp The file was added src/Validate/ReplacePseudoFunc.hpp
Commit
b1eefe50ac43e1e276c3a39c9794d6b218c9a71f
by Michael Brooks Adjust string assignment declarations for consistent/standard return type. The file was modified libcfa/src/collections/string.hfa The file was modified libcfa/src/collections/string.cfa
Commit
45d1ab9fafee601ccb112a2fbebe9c393760f4c2
by Peter Buhr revert interpose experiment for build failure, not the cause The file was modified libcfa/src/interpose.cfa
Commit
f2898df1db5cd1f1673c3aaa39bc475f81adb6e2
by Michael Brooks Implement string initialization and assignment from various numeric types The file was modified tests/collections/string-api-coverage.cfa The file was modified libcfa/src/collections/string.cfa The file was modified libcfa/src/collections/string_res.cfa The file was modified libcfa/src/collections/string_res.hfa The file was modified tests/collections/.expect/string-api-coverage.txt The file was modified libcfa/src/collections/string.hfa
Commit
8abe4090bd16627bff66d5b432a246d92a3d1077
by Peter Buhr switch C designators for initialization The file was modified libcfa/src/iostream.hfa
Commit
367725d425be6bcb501fa6d005c7cb8e01598898
by j82liang Update enum.tex The file was modified doc/proposals/enum.tex The file was modified src/Validate/ReplacePseudoFunc.cpp
Commit
a4ed165b3fb9a999f66e8ec4607eebc231a3ebfe
by ajbeach I was working in FixInit.cpp so I did a round of general clean-up. Mostly lowering some indentation and removing cruft comments. The file was modified src/InitTweak/FixInit.cpp
Commit
bad9c8f532ad2770cb6f41ac472905fcee283497
by Peter Buhr change from href to url in bibtex citations The file was modified doc/bibliography/pl.bib
Commit
61e362feab9ac30e7e3748f946b2cf384102b37b
by ajbeach Changed notZeroExpr so that expressions with conditional contexts are handled in the resolver instead of the parser. Bugs kept the same from being done with statements. (Also a bit of clean-up from the last commit and a small fix in code-gen.) The file was modified src/Parser/ExpressionNode.cc The file was modified src/CodeGen/CodeGenerator.cpp The file was modified src/InitTweak/FixInit.cpp The file was modified src/Parser/parserutility.cc The file was modified src/ResolvExpr/CandidateFinder.cpp The file was modified src/Parser/parserutility.h The file was modified src/main.cc
Commit
544deb9e858ecd53a7b4d97ac4ac077c84729e37
by j82liang Update ReplacePseudoFunc, mostly the runtime lookup for attribute pseudo-function. It is imcomplete and returning dummy value The file was modified src/Validate/Autogen.cpp The file was modified src/Validate/ReplacePseudoFunc.cpp The file was modified src/AST/Decl.hpp
Commit
8a33777063862817f6f9b06eedc39d326a95ca25
by Michael Brooks Fix analysis error in string-input testing. Add comments correlating .in file content with line of code that reads it. This test's correctness expectation is bootstrapped from the actual behaviour of scanf. A mistake in knowing "which character are we on at this point" led to an inaccurate understanding of what scanf does on an edge case. The test was showing that the CFA analogs behave the same as scanf. But the test was not exercising the case that it suggested it was. This issue is now fixed. Old position, mistaken: case 14 begins on line ccccuuuucccc Old position, corrected: cases 12/13 consume leading cccc; case 14 begins on uuuucccc New positions: as commented in test .cfa prior scanf understanding, mistaken: include skips unwanted characters before capturing wanted characters, while exclude fails on unwanted characters scanf understanding, corrected: include and exclude fail on unwanted characters The file was modified tests/collections/.in/string-istream-manip.txt The file was modified tests/io/manipulatorsInput.cfa The file was modified tests/io/.expect/manipulatorsInput.arm64.txt The file was modified tests/collections/.expect/string-istream-manip.txt The file was modified tests/io/.expect/manipulatorsInput.x64.txt The file was modified tests/io/.in/manipulatorsInput.txt The file was modified tests/collections/string-istream-manip.cfa The file was modified tests/io/.expect/manipulatorsInput.x86.txt
Commit
3db78b894ae3be5dacb95d3d43fd6c10d981cd5e
by Michael Brooks Fix string reading bug: Manipulator `ignore` should not write to its output argument. The prior test expectation was wrong. The test was not following its rule that it should expect the CFA library to show scanf-analogous behaviour. Note, the corresponding expectation in collections/string-istream-manip was already correct. The file was modified tests/io/.expect/manipulatorsInput.x86.txt The file was modified tests/io/.expect/manipulatorsInput.x64.txt The file was modified libcfa/src/iostream.cfa The file was modified tests/io/.expect/manipulatorsInput.arm64.txt
Commit
57642041c538414290a29b6bd480fd0449762f63
by Peter Buhr restrict nesting of manipulators and update manipulator test The file was modified tests/io/.in/manipulatorsInput.txt The file was modified libcfa/src/iostream.hfa The file was modified libcfa/src/iostream.cfa The file was modified tests/io/manipulatorsInput.cfa The file was modified libcfa/src/collections/string_res.cfa The file was modified tests/io/.expect/manipulatorsInput.x64.txt
Commit
8ca60e4539df711328e1977245b3f4932a53e8f1
by ajbeach Remove ilog2, an unused math helper. The file was modified src/Common/utility.h
Commit
68cf1d49c3f5d0ac8afe843ba072540cf6db0db7
by Peter Buhr update expected output for other architectures The file was modified tests/io/.expect/manipulatorsInput.x86.txt The file was modified tests/io/.expect/manipulatorsInput.arm64.txt
Commit
16afb2a5a8827bbc0bd62b1f576b21ab9e335880
by j82liang Fix the print for enum with type The file was modified src/AST/Print.cpp
Commit
01fb70aa76ffe9fecb1ded63101dea3045db02f0
by Peter Buhr increase lstlisting comment start from 2.75in to 3in The file was modified doc/LaTeXmacros/common.sty The file was modified doc/LaTeXmacros/common.tex
Commit
d1551a50f54c708e4d86991165a951c6c80fae9b
by Peter Buhr formatting, a little more string stuff The file was modified doc/user/user.tex
Commit
dd1ebb19c6c8f45df1b0b974cfc7f695804381b9
by Peter Buhr some updates on the enum proposal The file was modified doc/proposals/enum.tex
Commit
765ee420c66cf84b7f8a2e1174845a6ad5e2fafe
by Peter Buhr some updates on the llheap paper The file was modified doc/papers/llheap/Paper.tex
Commit
baa1d5dcfe059fec982d2f0351950afe46056e2a
by Peter Buhr update testing for manipulators The file was modified tests/io/manipulatorsInput.cfa The file was modified libcfa/src/iostream.cfa The file was modified libcfa/src/iostream.hfa The file was modified tests/io/.in/manipulatorsInput.txt
Commit
63e129c511e47a21c12bf1eae24b6af9aa92433a
by Peter Buhr cleanup, fix bug for input manipulator nl The file was modified libcfa/src/iostream.hfa The file was modified libcfa/src/iostream.cfa The file was modified libcfa/src/fstream.cfa
Commit
b771581466d3fd3eb79c9efe3dc769f7a91f8e86
by Peter Buhr add more input tests for recent changes The file was modified tests/io/.expect/manipulatorsInput.x64.txt The file was modified tests/io/manipulatorsInput.cfa The file was modified tests/io/.expect/manipulatorsInput.arm64.txt The file was modified tests/io/.expect/manipulatorsInput.x86.txt
Commit
65b851a1fc226ed94c42b8e13bc96e4a9823675c
by Peter Buhr start updaing documentation for input changes The file was modified doc/user/user.tex
Commit
7329b0a5ab65b66be047e250d51224cba0a03c8d
by ajbeach advance_to_mutex has been replaced nextMutex. The file was modified src/ResolvExpr/Resolver.cc
Commit
2989d6fe4ab9e9f8d05b2a3ebf29a2c015412bc1
by Peter Buhr started some related work The file was modified doc/proposals/enum.tex
Commit
538cc3528e7d5685c5c8bfb7aceda9a955462279
by Peter Buhr small updated to uC++toCFA document The file was modified doc/uC++toCFA/Makefile The file was modified doc/uC++toCFA/uC++toCFA.tex
Commit
e71b09ae00f2abd7047a70e3eaf09175d9b787f0
by Peter Buhr more word-smithing The file was modified doc/user/user.tex
Commit
c75b30ae4d3f97678f27275a033614f675b7fdaf
by j82liang Introduce posE, valueE, labelE pseudo language to the language. Rework the internal representation of enumeration. The file was modified src/Validate/Autogen.cpp The file was modified src/GenPoly/Lvalue.cpp The file was modified src/ResolvExpr/ConversionCost.cc The file was modified src/CodeGen/CodeGenerator.cpp The file was modified src/ResolvExpr/CandidateFinder.cpp The file was modified src/Validate/ReplacePseudoFunc.cpp The file was modified src/CodeGen/GenType.cc The file was modified src/ResolvExpr/Unify.cc
Commit
496ffc17cf8822f6bee4aed86e97230a1b3a0776
by j82liang Fix dangling reference to posE function The file was modified src/Validate/ReplacePseudoFunc.cpp The file was modified src/ResolvExpr/CandidateFinder.cpp The file was modified src/Validate/Autogen.cpp
Commit
9ddcee10f8009f7d349eb15c2cfa983e3265d88e
by j82liang Remove EnumPosExpr, an early design that no longer used. The implementation of the feature has been replaced by ReplacePseudoFunc The file was modified src/AST/Print.cpp The file was modified src/AST/Expr.cpp The file was modified src/CodeGen/CodeGenerator.cpp The file was modified src/ResolvExpr/CandidateFinder.cpp The file was modified src/Common/CodeLocationTools.cpp The file was modified src/AST/Visitor.hpp The file was modified src/GenPoly/Box.cpp The file was modified src/InitTweak/InitTweak.cc The file was modified src/AST/Fwd.hpp The file was modified src/Parser/ExpressionNode.cc The file was modified src/CodeGen/CodeGenerator.hpp The file was modified src/AST/Expr.hpp The file was modified src/ResolvExpr/ConversionCost.cc The file was modified src/ResolvExpr/Resolver.cc The file was modified src/AST/Pass.hpp The file was modified src/AST/Node.cpp The file was modified src/AST/Pass.impl.hpp
Commit
020fa100c9bc0916e08b181151ef5bacc4b91f0f
by j82liang Remove duality functions. They are replaced by recent changed in Cost conversion and CandidateFinder The file was modified src/Validate/Autogen.cpp
Commit
bd674421bdcbbd7f54eef5135c34f20906db12b0
by Peter Buhr more proofreading, related-work section still needs work The file was modified doc/proposals/enum.tex
Commit
be4335b49426821165ce9e6614e587bf248a5b4b
by ajbeach The remaining improvements I had planned for the Box pass are either very hard or (on reflection) of questionable value, and none are required. Cleans up some loose threads before I may move on. The file was modified src/GenPoly/Box.cpp
Commit
a55ebcca1b712f00e2fd94a9d348511dd62c8f8a
by j82liang 1. Add debug print option for replacePseudoFunc; 2. Change resolver handling enum types; 3. change QualifiedNameExpr representation pre-resolver; 4. Disable able a test that currently doesn't work The file was modified src/Validate/FixQualifiedTypes.cpp The file was modified src/main.cc The file was modified src/ResolvExpr/CandidateFinder.cpp The file was modified src/CompilationState.h The file was modified src/CompilationState.cc The file was modified src/Validate/ReplacePseudoFunc.cpp The file was modified tests/enum_tests/structEnum.cfa
Commit
e11cdc0a5ff47ae542d05ae7f3c78c0d944761df
by Peter Buhr add more material The file was modified doc/proposals/enum.tex
Commit
b08ab187c160941976da73c2529c2e398431fb14
by Peter Buhr formatting The file was modified libcfa/src/bits/signal.hfa
Commit
23a0e576c05e52bb5b5fa6de793cb5f1058fbcae
by ajbeach Remove mid-array assertion from the Box pass. The file was modified src/GenPoly/Box.cpp
Commit
dacd2c19861590e811274238181308a8c1e19e3f
by ajbeach Added Peter's fix to ensure syscall argument is initialized. I did check it against valgrind. The file was modified src/main.cc
Commit
d63746fce4dcbd1594574965079adbb4e1f8cdc5
by Peter Buhr more updates The file was modified doc/proposals/enum.tex