aboutsummaryrefslogtreecommitdiffstats
path: root/lib
AgeCommit message (Collapse)Author
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-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 '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 '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-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-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
2010-10-14Merge branch 'maint-r13' into maint-r14Björn Gustavsson
* maint-r13: Add test suite for cosFileTransfer
2010-10-14Add test suite for cosFileTransferNiclas Eklund
2010-10-14supervisor: Type and spec related changesKostis Sagonas
- Export two more types so that they can be used in other modules - Correct some types and specs - Add spec for behaviour_info/1
2010-10-14Merge branch 'ms/fix-zero-byte-allocation' into devBjörn-Egil Dahlberg
* ms/fix-zero-byte-allocation: registry: fix zero byte allocation OTP-8893
2010-10-14Merge branch 'ms/security-fixes' into devBjörn Gustavsson
* ms/security-fixes: erlc: remove unused variable typer: prevent buffer overflows run_test: prevent buffer overflow heart: prevent buffer overflow escript: prevent buffer overflows erlexec: prevent buffer overflows erlc: prevent buffer overflows dialyzer: prevent buffer overflows OTP-8892
2010-10-14Merge branch 'sv/ei-number-parsing' into devBjörn-Egil Dahlberg
* sv/ei-number-parsing: teach ei_x_format to handle unary - and + OTP-8891
2010-10-14Merge branch 'ms/fix-erl_call' into devBjörn-Egil Dahlberg
* ms/fix-erl_call: erl_call: remove get_hostent OTP-8890
2010-10-12beam_block: Do optimizations in the safe orderBjörn Gustavsson
Moving of allocation instructions upwards in the instruction stream (in order to enable further optimizations) in beam_block, is implemented with the assumption that if a register {x,X} contains a valid term, then all other x register with lower numbers than X also contain valid terms. That assumption is true after code generation. The beam_utils:live_opt/1 optimization, however, may invalidate that assumption. For instance, if a receive statement exports a variable that is used, but the return value of the receive statement is not used, then {x,1} but not {x,0} contains a valid term at the end of the receive statement. If the receive statement is followed by {bif,self,{f,0},[],{x,0}}. {test_heap,NumberOfWords,2}. moving the allocation upwards will produce {test_heap,NumberOfWords,2}. {bif,self,{f,0},[],{x,0}}. which will cause the beam_validator pass to scream loudly that {x,0} is not live at the test_heap instruction. Fix the problem by doing the optimizations in reverse order. Reported-by: Jim Engquist