remix-project/libs/remix-analyzer/test/analysis/test-contracts/solidity-v0.5/selfdestruct.sol

contract sd {

  uint x = 0;
  function() external payable {  }
  
  function c () public {
      selfdestruct(address(0xdeadbeef));
  }
  
  function b () public {
      selfdestruct(address(0xdeadbeef));
      x = 1;
  }
}