aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2010-11-09dialyzer: Speed up analysis of nested list comprehensionsKostis Sagonas
Nested list comprehensions are translated into strongly connected funs but dialyzer ignored this. This meant that self-recursive analysis was normally executed for each fun and the whole fixpoint took some time to calculate. This patch adds every fun found in constraint generation to the SCC that is under analysis and then solves the SCC as a whole. Possible issues: - The returned dict contains more entries than usual. This triggered a bug in contract checking that is dealt with is this patch as well (dialyzer_contracts.erl). - As it's not easy to tell apart real fun SCCs from simple funs it performance might be hampered in the simple funs case. While doing these changes, also added and strengthened some specs. In addition, incorporated a modified patch by Ahmed Omar that fixes a bug in dialyzer_analysis_callgraph module that kept the files of only one selected directory in dialyzer's GUI.
2010-10-29Merge branch 'ks/bad-export_type' into devBjörn Gustavsson
* ks/bad-export_type: Avoid errors for a badly formed export_type declarations
2010-10-29Merge branch 'ms/fix-string-copies' into devBjörn Gustavsson
* ms/fix-string-copies: string_SUITE: Add test for string:copies(Str, Float) string_SUITE: Fix copy and paste error in test of string:copies/2 Fix crash in string:copies/2 OTP-8915
2010-10-29string_SUITE: Add test for string:copies(Str, Float)Björn Gustavsson
2010-10-29string_SUITE: Fix copy and paste error in test of string:copies/2Björn Gustavsson
2010-10-29Merge branch 'ta/fix-dialyzer-documentation' into devBjörn Gustavsson
* ta/fix-dialyzer-documentation: Add missing Dialyzer warning options to doc
2010-10-29Merge branch 'ks/strengthen-specs' into devBjörn Gustavsson
* ks/strengthen-specs: lists: Strengthen and modernize specs syntax_tools: Fix an erroneous type and strengthen some specs ordsets: Export ordset/1 type and strengthen specs compiler: Strengthen some specs to shut off dialyzer warnings
2010-10-29Merge branch 'ks/rec-erl_types' into devBjörn Gustavsson
* ks/rec-erl_types: Deeper unfolding of recursive types
2010-10-29Deeper unfolding of recursive typesKostis Sagonas
The change of taking out some hard-coded information about the file module uncovered that the unfolding of recursive types was probably too shallow. This has been fixed by unfolding it until a deeper limit (REC_TYPE_LIMIT). While at erl_types.erl also did some cleanup changes and fixed an erroneous io:format message.
2010-10-29Merge branch 'hb/stdlib/epp_file_and_inclusion/OTP-8911' into devHans Bolinder
* hb/stdlib/epp_file_and_inclusion/OTP-8911: Fix epp bug concerning the file attribute and file inclusion
2010-10-28Fix epp bug concerning the file attribute and file inclusionHans Bolinder
Cover did not collect coverage data for files such as Yecc parses containing include directives. The bug has been fixed by modifying epp, the Erlang Code Preprocessor.
2010-10-26lists: Strengthen and modernize specsKostis Sagonas
Strengthen some specs that were a bit more liberal than they should. While at it, change uses of the is_subtype guard to :: which is more modern and compact.
2010-10-26syntax_tools: Fix an erroneous type and strengthen some specsKostis Sagonas
The declaration of the stubDescriptop() type in 'igor' was erroneous, both in the -type and in the published documentation of the module. While fixing this some specs where strengthened and used a remote type to refer to ordsets:ordset(T). Consequently, this patch depends on the ordsets module exporting the ordset/1 type.
2010-10-26ordsets: Export ordset/1 type and strengthen specsKostis Sagonas
2010-10-26compiler: Strengthen some specs to shut off dialyzer warningsKostis Sagonas
2010-10-26Fix crash in string:copies/2Michael Santos
Using a float for the number of copies results in an infinite loop. Check that the argument is an integer. Reported-By: Eric Pailleau
2010-10-26Add missing Dialyzer warning options to docTuncer Ayaz
-Wno_opaque, -Wrace_conditions and -Wbehaviours are only documented in the Dialyzer command line help text. Add them to the documentation.
2010-10-22Merge branch 'maint-r14' into devLukas Larsson
* maint-r14: Prepare release Add vts.tool to priv exports for unix
2010-10-22Merge branch 'ia/public_key/dialyzer' into devIngela Anderton Andin
* ia/public_key/dialyzer: Fixed typo in dialyzer spec.
2010-10-21Prepare releaseErlang/OTP
2010-10-21Merge branch 'lukas/common_test/missing_vts_tool/OTP-8894' into maint-r14Erlang/OTP
* lukas/common_test/missing_vts_tool/OTP-8894: Add vts.tool to priv exports for unix
2010-10-21Merge branch 'ia/ssl/certificate-verify/wrong-key-method/OTP-8897' into devBjörn Gustavsson
* ia/ssl/certificate-verify/wrong-key-method/OTP-8897: Correct handling of client certificate verify message Conflicts: lib/ssl/src/ssl_handshake.erl
2010-10-21Add vts.tool to priv exports for unixLukas Larsson
2010-10-21Merge branch 'maint-r14' into devBjörn Gustavsson
* maint-r14: Prepare release Fix that the documentation top index generator can handle an Ericsson internal application group Teach -init_debug to print info about on_load handlers begin run Fix hang in on_load handlers in embedded mode Conflicts: erts/vsn.mk lib/kernel/vsn.mk
2010-10-21Prepare releaseErlang/OTP
2010-10-21Merge branch 'bjorn/fix-on_load/OTP-8902' into maint-r14Erlang/OTP
* bjorn/fix-on_load/OTP-8902: Teach -init_debug to print info about on_load handlers begin run Fix hang in on_load handlers in embedded mode
2010-10-21Merge branch 'lars/erts/fix-erl-html-tools/OTP-8875' into maint-r14Erlang/OTP
* lars/erts/fix-erl-html-tools/OTP-8875: Fix that the documentation top index generator can handle an Ericsson internal application group
2010-10-21Merge branch 'hb/stdlib/dets_chunk_match/OTP-8903' into devHans Bolinder
* hb/stdlib/dets_chunk_match/OTP-8903: Fix a bug concerning bchunk(), match() and select() Conflicts: lib/stdlib/test/dets_SUITE.erl
2010-10-21Fix a bug concerning bchunk(), match() and select()Hans Bolinder
If a Dets table was closed after calling bchunk/2, match/1,3, match_object/1,3, or select/1,3 and then opened again, a subsequent call using the returned continuation would normally return a reply. This bug has fixed; now the call fails with reason 'badarg'.
2010-10-21Merge branch 'hb/stdlib/dets_stream_op/OTP-8899' into devHans Bolinder
* hb/stdlib/dets_stream_op/OTP-8899: Fix a bug that could cause 'bad_object' errors Conflicts: lib/stdlib/test/dets_SUITE.erl
2010-10-21Fix a bug that could cause 'bad_object' errorsHans Bolinder
When several clients accessed a Dets table simultaneously, modifications of the Dets server's internal state were sometimes thrown away. The symptoms are diverse: error with reason 'bad_object'; inserted objects not returned by lookup(); et cetera.
2010-10-21Merge branch 'hb/stdlib/dets_fixed_dirty/OTP-8898' into devHans Bolinder
* hb/stdlib/dets_fixed_dirty/OTP-8898: Fix a bug concerning truncated Dets files Conflicts: lib/stdlib/src/dets.erl lib/stdlib/test/dets_SUITE.erl
2010-10-21Fix a bug concerning truncated Dets filesHans Bolinder
When several clients accessed a Dets table simultaneously, inserted or updated objects were sometimes lost due to the Dets file being truncated.
2010-10-21Merge branch 'hb/stdlib/dets_insert_new/OTP-8856' into devHans Bolinder
* hb/stdlib/dets_insert_new/OTP-8856: Fix a bug in dets:insert_new()
2010-10-21Fix a bug in dets:insert_new()Hans Bolinder
When several clients accessed a Dets table simultaneously, one of them calling dets:insert_new/2, the Dets server could crash. Alternatively, under the same conditions, 'ok' was sometimes returned instead of 'true'.
2010-10-20hipe: Add translation of BIFs with arity threeKostis Sagonas
2010-10-20Fix that the documentation top index generator can handle an Ericsson ↵Lars Thorsen
internal application group
2010-10-20Teach -init_debug to print info about on_load handlers begin runBjörn Gustavsson
2010-10-20Fixed typo in dialyzer spec.Ingela Anderton Andin
2010-10-20Fix hang in on_load handlers in embedded modeBjörn Gustavsson
In embedded mode, all on_load handlers will be called after loading all modules but before starting any servers. Therefore, if an on_load handler calls any function in the code module that calls the code server (such as code:priv_dir/1), there will be a deadlock because the code server has not yet been started. Fix this problem by invoking the on_load handlers after having started most servers in the kernel application.
2010-10-20Correct handling of client certificate verify messageIngela Anderton Andin
When checking the client certificate verify message the server used the wrong algorithm identifier to determine the signing algorithm, causing a function clause error in the public_key application when the key-exchange algorithm and the public key algorithm of the client certificate happen to differ.
2010-10-19Merge branch 'ia/ssl/DH-ANON/OTP-8870' into devIngela Anderton Andin
* ia/ssl/DH-ANON/OTP-8870: Anonymous cipher suites
2010-10-18Update primary bootstrapBjörn Gustavsson
2010-10-18Merge branch 'bjorn/compiler/receive-export/OTP-8888' into devBjörn Gustavsson
* bjorn/compiler/receive-export/OTP-8888: beam_block: Do optimizations in the safe order
2010-10-15Merge branch 'lukas/common_test/ct_get_status_docs/OTP-8895' into devLukas Larsson
* lukas/common_test/ct_get_status_docs/OTP-8895: Update get_status doc to include no_tests_running
2010-10-15Merge branch 'lukas/common_test/ct_slave_doc/OTP-8885' into devLukas Larsson
* lukas/common_test/ct_slave_doc/OTP-8885: Remove generated ct_slave.xml
2010-10-14Update get_status doc to include no_tests_runningLukas Larsson
2010-10-14dialyzer: Fix so warnings will be emitted for all public ETS tablesMaria Christakis
2010-10-14Merge branch 'ks/supervisor-export-types' into devBjörn Gustavsson
* ks/supervisor-export-types: supervisor: Type and spec related changes
2010-10-14Merge branch 'maint-r14' into devBjörn Gustavsson
* maint-r14: Add test suite for cosFileTransfer
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-24 05:02:38 +0000