projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d0d9f29) | patch
[Ada] Wrong detection of potentially blocking call in protected object
authorJavier Miranda <miranda@adacore.com>
Thu, 6 Aug 2020 17:56:50 +0000 (13:56 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 21 Oct 2020 07:22:47 +0000 (03:22 -0400)
commitf1722339efa953eed5c69ec8869fc62b41e72ee4
tree611f009f53656e70b13c2f738bc3cdf56ba528dftree
parentd0d9f29d52e134c02fafee222be655189d9050f2commit | diff
[Ada] Wrong detection of potentially blocking call in protected object

gcc/ada/

* exp_ch9.adb (Build_Task_Activation_Call): Do not generate a
call to activate tasks if we are within the scope of a protected
type and pragma Detect_Blocking is active.
gcc/ada/exp_ch9.adb diff | blob | history