/src/wrappers/llvm/library/values/llvm_overflowing_binary_operator.e
Specman e | 25 lines | 3 code | 4 blank | 18 comment | 0 complexity | ba281ba8f7ccddc57ee8b69270b6e278 MD5 | raw file
1deferred class LLVM_OVERFLOWING_BINARY_OPERATOR 2 -- Common anchestor of integer arithmetic operators which may overflow: 3 -- addition, subtraction and multiplication. The SDiv instruction is not 4 -- included althought it may overflow. 5 6inherit LLVM_OPERATOR 7end -- class LLVM_OVERFLOWING_BINARY_OPERATOR 8 9-- Copyright (C) 2009-2017: Paolo Redaelli 10 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