[PATCH] Prevent recursive satisfaction (PR c++/88395)

[Andrew Sutton]

This applies on top of the patch here:
https://gcc.gnu.org/ml/gcc-patches/2019-11/msg01034.html

Wrap satisfaction with push/pop_tinst_level to force termination on recursion.

Andrew Sutton
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Prevent-recursive-satisfaction-PR-c-88395.patch
Type: application/octet-stream
Size: 5683 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20191118/0fd4f6dc/attachment.obj>