Issue warning when using deprecated SELFDESTRUCT

Changelog.md

@@ -19,6 +19,7 @@ Compiler Features:
  * SMTChecker: Make ``z3`` the default solver for the BMC and CHC engines instead of all solvers.
  * Parser: More detailed error messages about invalid version pragmas.
  * Removed support for the ``solidity-upgrade`` tool.
+ * TypeChecker: Warn when using deprecated builtin ``selfdestruct``.
 
 
 Bugfixes:

docs/contracts/function-modifiers.rst

@@ -19,6 +19,7 @@ if they are marked ``virtual``. For details, please see
 
     // SPDX-License-Identifier: GPL-3.0
     pragma solidity >=0.7.1 <0.9.0;
+    // This will report a warning due to deprecated selfdestruct
 
     contract owned {
         constructor() { owner = payable(msg.sender); }

docs/contracts/inheritance.rst

@@ -40,7 +40,7 @@ Details are given in the following example.
 
     // SPDX-License-Identifier: GPL-3.0
     pragma solidity >=0.7.0 <0.9.0;
-
+    // This will report a warning due to deprecated selfdestruct
 
     contract Owned {
         constructor() { owner = payable(msg.sender); }
@@ -130,6 +130,7 @@ seen in the following example:
 
     // SPDX-License-Identifier: GPL-3.0
     pragma solidity >=0.7.0 <0.9.0;
+    // This will report a warning due to deprecated selfdestruct
 
     contract owned {
         constructor() { owner = payable(msg.sender); }
@@ -162,6 +163,7 @@ explicitly in the final override, but this function will bypass
 
     // SPDX-License-Identifier: GPL-3.0
     pragma solidity >=0.7.0 <0.9.0;
+    // This will report a warning due to deprecated selfdestruct
 
     contract owned {
         constructor() { owner = payable(msg.sender); }

docs/examples/micropayment.rst

@@ -144,6 +144,7 @@ The full contract
 
     // SPDX-License-Identifier: GPL-3.0
     pragma solidity >=0.7.0 <0.9.0;
+    // This will report a warning due to deprecated selfdestruct
     contract ReceiverPays {
         address owner = msg.sender;
 
@@ -341,6 +342,7 @@ The full contract
 
     // SPDX-License-Identifier: GPL-3.0
     pragma solidity >=0.7.0 <0.9.0;
+    // This will report a warning due to deprecated selfdestruct
     contract SimplePaymentChannel {
         address payable public sender;      // The account sending payments.
         address payable public recipient;   // The account receiving the payments.

libsolidity/analysis/TypeChecker.cpp

@@ -3642,6 +3642,14 @@ bool TypeChecker::visit(Identifier const& _identifier)
 				_identifier.location(),
 				"\"suicide\" has been deprecated in favour of \"selfdestruct\"."
 			);
+		else if (_identifier.name() == "selfdestruct" && fType->kind() == FunctionType::Kind::Selfdestruct)
+			m_errorReporter.warning(
+				5159_error,
+				_identifier.location(),
+				"\"selfdestruct\" has been deprecated. "
+				"The underlying opcode will eventually be removed from the EVM, "
+				"and its use in new contracts is not recommended."
+			);
 	}
 
 	if (

test/libsolidity/syntaxTests/nameAndTypeResolution/430_bare_selfdestruct.sol

@@ -2,4 +2,5 @@ contract C {
     function f() pure public { selfdestruct; }
 }
 // ----
+// Warning 5159: (44-56): "selfdestruct" has been deprecated. The underlying opcode will eventually be removed from the EVM, and its use in new contracts is not recommended.
 // Warning 6133: (44-56): Statement has no effect.

test/libsolidity/syntaxTests/types/address/address_nonpayable_selfdestruct.sol

@@ -4,4 +4,5 @@ contract C {
     }
 }
 // ----
+// Warning 5159: (56-68): "selfdestruct" has been deprecated. The underlying opcode will eventually be removed from the EVM, and its use in new contracts is not recommended.
 // TypeError 9553: (69-70): Invalid type for argument in function call. Invalid implicit conversion from address to address payable requested.

test/libsolidity/syntaxTests/types/address/address_payable_selfdestruct.sol

@@ -4,3 +4,4 @@ contract C {
     }
 }
 // ----
+// Warning 5159: (64-76): "selfdestruct" has been deprecated. The underlying opcode will eventually be removed from the EVM, and its use in new contracts is not recommended.

test/libsolidity/syntaxTests/viewPureChecker/builtin_functions.sol

@@ -19,3 +19,4 @@ contract C {
     receive() payable external {}
 }
 // ----
+// Warning 5159: (122-134): "selfdestruct" has been deprecated. The underlying opcode will eventually be removed from the EVM, and its use in new contracts is not recommended.

test/libsolidity/syntaxTests/viewPureChecker/builtin_functions_view_fail.sol

@@ -20,6 +20,7 @@ contract C {
     }
 }
 // ----
+// Warning 5159: (201-213): "selfdestruct" has been deprecated. The underlying opcode will eventually be removed from the EVM, and its use in new contracts is not recommended.
 // TypeError 8961: (52-77): Function cannot be declared as view because this expression (potentially) modifies the state.
 // TypeError 8961: (132-153): Function cannot be declared as view because this expression (potentially) modifies the state.
 // TypeError 8961: (201-228): Function cannot be declared as view because this expression (potentially) modifies the state.