aboutsummaryrefslogtreecommitdiffstats
path: root/lib
AgeCommit message (Collapse)Author
2011-05-04Add opaque/ewgi,ewgi2Stavros Aronis
2011-05-04Add opaque/schuett_bugStavros Aronis
2011-05-04Add small/param_types_crashStavros Aronis
2011-05-04Add small/file_open_encodingStavros Aronis
2011-05-04Add small/false_falseStavros Aronis
2011-05-04Add small/ets_update_counterStavros Aronis
2011-05-04Add small/bin_comprStavros Aronis
2011-05-04Add small/tuple_set_crashStavros Aronis
2011-05-04Add small/refine_failingStavros Aronis
2011-05-04Add small/not_bogus_warningStavros Aronis
2011-05-04Add small/none_scc_inf_loopStavros Aronis
2011-05-04Add small/guardsStavros Aronis
2011-05-04Add small/guard_warningsStavros Aronis
2011-05-04Add small/confusing_record_warningStavros Aronis
2011-05-04Add small/blame_contract_rangeStavros Aronis
2011-05-04Update small/recursive_types2 sourceStavros Aronis
2011-05-04Update opaque/zoltan_kis* sourcesStavros Aronis
2011-05-04Update options1/compiler resultsStavros Aronis
2011-05-04Rename suite data directoriesStavros Aronis
2011-05-04Simplify Dialyzer's test suite structureStavros Aronis
*_SUITE.erl files are now automatically generated by the respective data directories by the Makefile.
2011-04-20Added missing path validation error to documentationIngela Anderton Andin
2011-04-20Merge branch 'ia/public_key/test-suite-update' into devIngela Anderton Andin
* ia/public_key/test-suite-update: Created common test groups and temporary skipped pkits_SUITE as the conformance tests suite certificates has expired.
2011-04-20Created common test groups and temporary skipped pkits_SUITE as theIngela Anderton Andin
conformance tests suite certificates has expired. New conformance tests uses another format to save certificates so we need to implement PKCS-12 support. CRL tests are commented out as the CRL support is not included in the main development yet.
2011-04-20Merge branch 'maint-r14' into devLukas Larsson
* maint-r14: Prepare release Update framwork backwards compatability check to use TEST_SERVER_FRAMEWORK as it should and not the Module Export ct_framework:end_tc/3 for backwards compatability reasons Update end_tc framework calls to check the name of the framework module instead of the return value of the call
2011-04-15Prepare releaseErlang/OTP
2011-04-15Update framwork backwards compatability check to use TEST_SERVER_FRAMEWORK ↵Lukas Larsson
as it should and not the Module
2011-04-15Export ct_framework:end_tc/3 for backwards compatability reasonsLukas Larsson
2011-04-15Update end_tc framework calls to check the name of the framework module ↵Lukas Larsson
instead of the return value of the call
2011-04-15Prepare for releaseIngela Anderton Andin
2011-04-15Merge branch 'ia/public_key/prepare-for-release' into devIngela Anderton Andin
* ia/public_key/prepare-for-release: Prepare for release
2011-04-15Prepare for releaseIngela Anderton Andin
2011-04-15Merge branch 'ta/dialyzer-doc' into devHenrik Nord
* ta/dialyzer-doc: dialyzer/doc: synchronize manual.txt and dialyzer.xml dialyzer/doc: fix whitespace errors dialyzer/doc: use consistent colons in type specs OTP-9226
2011-04-15Merge branch 'ms/heart-rem-garbage-append' into devHenrik Nord
* ms/heart-rem-garbage-append: heart: remove garbage appended to heart command OTP-9224
2011-04-14Merge branch 'bjorn/compiler/coverage' into devBjörn Gustavsson
* bjorn/compiler/coverage: bs_match_SUITE: Improve coverage of beam_bsm beam_bsm: Eliminate uncovered line in warning generation match_SUITE: Cover a clause in beam_dead:forward/4 beam_dead: Remove uncovered special case handling of empty blocks beam_dead: Remove uncovered clauses in binary matching optimization beam_dead: Remove uncoverable case clause in update_value_dict/3 beam_dead: Remove code that cannot be covered in forward/4 record_SUITE: Cover optimization of is_record/3 in beam_type compiler tests: Reinstate ?MODULE macro in calls to test_lib:recompile/1
2011-04-13Merge branch 'mh/eunit-surefire-reports' into devHenrik Nord
* mh/eunit-surefire-reports: Increase depth of error messages in Eunit Surefire reports OTP-9220
2011-04-12Merge branch 'sa/dialyzer-invalid-spec-fix' into devHenrik Nord
* sa/dialyzer-invalid-spec-fix: Fix crash related with the contract blame assignment patch OTP-9219
2011-04-12Merge branch 'gc/gen-format-status-improvements' into devHenrik Nord
* gc/gen-format-status-improvements: Fix format_status bug for unregistered gen_event processes Conflicts: lib/stdlib/test/gen_event_SUITE.erl OTP-9218
2011-04-12bs_match_SUITE: Improve coverage of beam_bsmBjörn Gustavsson
2011-04-12beam_bsm: Eliminate uncovered line in warning generationBjörn Gustavsson
In warning_translate_label/2, gb_trees:lookup/2 is called to translate from the entry label for a function to its name. Since the gb_tree has an entry for all functions in the module, there is no way that the lookup can fail unless there is a serious bug. Therefore, use gb_trees:get/2 so that an exception and an internal compiler error will be generated if the lookup would ever fail.
2011-04-12match_SUITE: Cover a clause in beam_dead:forward/4Björn Gustavsson
2011-04-12beam_dead: Remove uncovered special case handling of empty blocksBjörn Gustavsson
There is never any empty blocks when beam_dead is invoked. Even if there were, they will be removed a little bit later in forward/4.
2011-04-12beam_dead: Remove uncovered clauses in binary matching optimizationBjörn Gustavsson
In the optimization of binary matching, it seems that two clauses cannot never be reached. Removing the clauses is safe, since that would only mean that an opportunity for an optimization is lost
2011-04-12beam_dead: Remove uncoverable case clause in update_value_dict/3Björn Gustavsson
Because the code generator (v3_codegen) would not include the same value more than once in a select_val/3 instruction and because a label can only be referenced by one select_val/3 instruction, there is no way that the correct value could already be in the gb_tree. (Even if it could happen, this change is safe because only opportunity for an optimization would be missed; incorrect code would not be generated.)
2011-04-12beam_dead: Remove code that cannot be covered in forward/4Björn Gustavsson
Since the optimizations in forward/4 already depends on some assumptions on how code is generated anyway, document the assumptions in a comment and remove the uncoverable code.
2011-04-12record_SUITE: Cover optimization of is_record/3 in beam_typeBjörn Gustavsson
Since the introduction of improved record optimizations in 1858cb81391d2bce29b4b7620574ca60128cebf7 and 470c91d43eae54f63661645acbce4b92d73287cc, the optimization of a is_record/3 call with a known correct type in beam_type:simplify_basic_1/3 has not been covered.
2011-04-12compiler tests: Reinstate ?MODULE macro in calls to test_lib:recompile/1Björn Gustavsson
In 3d0f4a3085f11389e5b22d10f96f0cbf08c9337f (an update to conform with common_test), in all test_lib:recompile(?MODULE) calls, ?MODULE was changed to the actual name of the module. That would cause test_lib:recompile/1 to compile the module with the incorrect compiler options in cloned modules such as record_no_opt_SUITE, causing worse coverage.
2011-04-11dialyzer/doc: synchronize manual.txt and dialyzer.xmlTuncer Ayaz
2011-04-11dialyzer/doc: fix whitespace errorsTuncer Ayaz
2011-04-11dialyzer/doc: use consistent colons in type specsTuncer Ayaz
2011-04-11Merge branch 'siri/sasl/rb-help-error/OTP-9166' into devSiri Hansen
* siri/sasl/rb-help-error/OTP-9166: rb help error