/src/wrappers/llvm/library/values/llvm_unreachable_inst.e
Specman e | 25 lines | 3 code | 4 blank | 18 comment | 0 complexity | 79903753d020aa145e30ccd9e40b37e7 MD5 | raw file
1class LLVM_UNREACHABLE_INST 2 -- An instruction with an undefined behaviour. In particular, the presence 3 -- of this instruction indicates some higher level knowledge that the end 4 -- of the block cannot be reached. 5 6inherit LLVM_TERMINATOR_INST 7 8end -- class LLVM_UNREACHABLE_INST 9 10-- Copyright (C) 2009-2017: Paolo Redaelli 11-- This file is part of LLVM wrappers for Liberty Eiffel. 12-- 13-- This library is free software: you can redistribute it and/or modify 14-- it under the terms of the GNU Lesser General Public License as published by 15-- the Free Software Foundation, version 3 of the License. 16-- 17-- Liberty Eiffel is distributed in the hope that it will be useful, 18-- but WITHOUT ANY WARRANTY; without even the implied warranty of 19-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 20-- GNU General Public License for more details. 21-- 22-- You should have received a copy of the GNU General Public License 23-- along with Liberty Eiffel. If not, see <http://www.gnu.org/licenses/>. 24-- 25