aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2012-06-01Bug fixes and improvements of dialyzer_typesigHans Bolinder
1. Sometimes the solver forgot that a list had entered the error state. The bug has been fixed by storing the atom 'error' in MapDict. An example where the bug occurred is io_lib_pretty:printable_bin(). The returned spec was weaker than it should have been, but the fix-point loop hid the bug (in this case). 2. lists:partition() has been substituted for lists:splitwith() in enumerate_constraints(). This fix together with 3. solves a problem with long execution times for deeply nested fun:s. An example which is now much faster is lib/compiler/test/lc_SUITE:deeply_nested/1 (included as dialyzer/test/small_SUITE_data/src/deep_lc.erl). 3. The calculation of components in enumerate_constraints() has been simplified and optimized. The important thing here is that _all_ of the simple constraints have been saturated before entering the complex part. 4. The pretty printing of constraints has been improved.
2012-06-01Merge branch 'raimo/erts/win-install-redist-mixup/OTP-10096' into maintRaimo Niskanen
* raimo/erts/win-install-redist-mixup/OTP-10096: erts: Make 64-bit installer look for MS Redistributable in the right places
2012-06-01Merge branch 'lukas/stdlib/ensure_dir_infinite_loop/OTP-10104' into maintLukas Larsson
* lukas/stdlib/ensure_dir_infinite_loop/OTP-10104: Fix infinite loop when an invalid drive letter it given
2012-06-01Merge branch 'lukas/test-cases' into maintLukas Larsson
* lukas/test-cases: Ignore calls to wx* modules if it is undefined Fix erl_interface testcases Update gccifier to respect -link option Extand timetrap for escript tests Fix compilation issues on windows and Ubuntu 12.04 Ignore common_test bootstrap
2012-06-01Ignore calls to wx* modules if it is undefinedLukas Larsson
2012-05-31Merge branch 'sa/dialyzer-parallel' into maintHenrik Nord
* sa/dialyzer-parallel: (54 commits) Logfile-like statistics (enabled with --resources) Anonymous SCCtoPID ETS table Anonymous time server Regulate all kinds of running workers up to the number of schedulers Relocate start and stop of timing server Better names for callgaph ETS tables Remove needless conversion Fix types and specs Inline a function in dialyzer_worker Remove unused function Change --time to --statistics and include more info Better reflect side-effect based code in dialyzer_callgraph Code simplifications (tidier) More efficient calculation of module deps and postorder Solve big SCC constraints in parallel Coordinator is no longer a separate process All spawns are now spawn_links Fix race in coordinator Typesig and dataflow analyses no longer use ticket regulation Plain concatenation for typesig not-fixpoint list ... OTP-10103
2012-05-31Merge branch 'gustav/compile/docs-file-macro-option2' into maintGustav Simonsson
* gustav/compile/docs-file-macro-option2: Add type info for compile:file/1,2 macro option
2012-05-31Add type info for compile:file/1,2 macro optionGustav Simonsson
2012-05-31Merge branch 'gustav/os_mon/disksup_call_timeout/OTP-10100' into maintGustav Simonsson
* gustav/os_mon/disksup_call_timeout/OTP-10100: Add infinity timeout to os_mon calls
2012-05-30Merge branch 'lukas/fix_windows_release_tests/OTP-10099' into maintLukas Larsson
* lukas/fix_windows_release_tests/OTP-10099: Fix compilation of examples and tc names on windows Create erl.ini for host emulator
2012-05-30Merge branch 'lukas/kernel/sendfile_fallback_fix/OTP-10098' into maintLukas Larsson
* lukas/kernel/sendfile_fallback_fix/OTP-10098: Fix chunk usage check
2012-05-30Fix erl_interface testcasesLukas Larsson
2012-05-30Update gccifier to respect -link optionLukas Larsson
2012-05-30Extand timetrap for escript testsLukas Larsson
2012-05-30Fix compilation issues on windows and Ubuntu 12.04Lukas Larsson
2012-05-30Fix chunk usage checkLukas Larsson
2012-05-30Ignore common_test bootstrapLukas Larsson
2012-05-25Merge branch 'sverk/valgrind-async-thr-suppression' into maintSverker Eriksson
* sverk/valgrind-async-thr-suppression: erts: Add valgrind suppression for async thread bound data
2012-05-25Correct valgrind suppression for putenvSverker Eriksson
2012-05-25erts: Make 64-bit installer look for MS Redistributable in the right placesRaimo Niskanen
The installer runs in 32-bit mode so 64-bit windows does not show it the system directories a 64-bit application will see. To find out if the MS C++ 2010 Redistributable Package is installed the installer for 64-bit Erlang must search for msvcr100.dll in: $WINDIR\sysnative\ $WINDIR\WinSxS\amd64*\ instead of for 32-bit Erlang $SYSDIR\ $WINDIR\WinSxS\x86*\ This patch also makes the installer if called in silent mode call the MS Redistributable installer in silent mode.
2012-05-23Merge branch 'raimo/tools/remove-fprof-tuple-funs/OTP-10091' into maintRaimo Niskanen
* raimo/tools/remove-fprof-tuple-funs/OTP-10091: tools: Bump version tools: Remove usage of tuple funs in fprof
2012-05-23Fix compilation of examples and tc names on windowsLukas Larsson
2012-05-23Merge branch 'lukas/kernel/fix-gen_udp_tcp-leak/OTP-10094' into maintLukas Larsson
* lukas/kernel/fix-gen_udp_tcp-leak/OTP-10094: Add testcase for controlling_process(P,self()) Fix port leaking after controlling_process(Port, self())
2012-05-23Create erl.ini for host emulatorLukas Larsson
2012-05-23Fix infinite loop when an invalid drive letter it givenLukas Larsson
2012-05-21Add infinity timeout to os_mon callsGustav Simonsson
2012-05-21Logfile-like statistics (enabled with --resources)Stavros Aronis
2012-05-21Anonymous SCCtoPID ETS tableStavros Aronis
2012-05-21Anonymous time serverStavros Aronis
2012-05-21Regulate all kinds of running workers up to the number of schedulersStavros Aronis
2012-05-21Relocate start and stop of timing serverStavros Aronis
2012-05-21Better names for callgaph ETS tablesStavros Aronis
2012-05-21Remove needless conversionStavros Aronis
The final version of the callgraph needs not be "reduced" for more efficient copying.
2012-05-21Fix types and specsStavros Aronis
2012-05-21Inline a function in dialyzer_workerStavros Aronis
2012-05-21Remove unused functionStavros Aronis
2012-05-21Change --time to --statistics and include more infoStavros Aronis
2012-05-21Better reflect side-effect based code in dialyzer_callgraphStavros Aronis
2012-05-21Code simplifications (tidier)Kostis Sagonas
2012-05-21More efficient calculation of module deps and postorderStavros Aronis
2012-05-21Solve big SCC constraints in parallelStavros Aronis
2012-05-21Coordinator is no longer a separate processStavros Aronis
2012-05-21All spawns are now spawn_linksStavros Aronis
2012-05-21Fix race in coordinatorStavros Aronis
2012-05-21Typesig and dataflow analyses no longer use ticket regulationStavros Aronis
2012-05-21Plain concatenation for typesig not-fixpoint listStavros Aronis
2012-05-21Ticket-based regulation of memory consumptionStavros Aronis
2012-05-21Infinity timeout for coordinator callsStavros Aronis
2012-05-21Worker PIDs are stored in an ETS tableStavros Aronis
2012-05-21Coordinator translates functions requiring further analysisStavros Aronis
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-15 01:02:30 +0000