x86, x86_64: запрещен отрицательный делитель (DIV, MOD)

doc/MSP430.txt

@@ -81,7 +81,7 @@ UTF-8 с BOM-сигнатурой.
 
  1       ASSERT(x), при x = FALSE
  2       разыменование нулевого указателя
- 3       целочисленное деление на 0 или на отрицательное число
+ 3       целочисленное деление на неположительное число
  4       вызов процедуры через процедурную переменную с нулевым значением
  5       ошибка охраны типа
  6       нарушение границ массива

doc/x86.txt

@@ -65,12 +65,11 @@ UTF-8 с BOM-сигнатурой.
         метках вариантов и необязательная ветка ELSE)
 5.      Расширен набор стандартных процедур
 6.      Семантика охраны/проверки типа уточнена для нулевого указателя
-7.      Семантика DIV и MOD уточнена для отрицательных чисел
-8.      Добавлены однострочные комментарии (начинаются с пары символов "//")
-9.      Разрешено наследование от типа-указателя
-10.     Добавлен синтаксис для импорта процедур из внешних библиотек
-11.     "Строки" можно заключать также в одиночные кавычки: 'строка'
-12.     Добавлен тип WCHAR
+7.      Добавлены однострочные комментарии (начинаются с пары символов "//")
+8.      Разрешено наследование от типа-указателя
+9.      Добавлен синтаксис для импорта процедур из внешних библиотек
+10.     "Строки" можно заключать также в одиночные кавычки: 'строка'
+11.     Добавлен тип WCHAR
 
 ------------------------------------------------------------------------------
         Особенности реализации
@@ -100,7 +99,7 @@ UTF-8 с BOM-сигнатурой.
 
         - ASSERT(x), при x = FALSE
         - разыменование нулевого указателя
-        - целочисленное деление на 0
+        - целочисленное деление на неположительное число
         - вызов процедуры через процедурную переменную с нулевым значением
         - ошибка охраны типа
         - нарушение границ массива
@@ -272,16 +271,6 @@ Oberon-реализациях выполнение такой операции
         WCHR (n: INTEGER): WCHAR
                 Преобразование типа, аналогично CHR(n: INTEGER): CHAR
 
-------------------------------------------------------------------------------
-        DIV и MOD
-
-         x         y      x DIV y   x MOD y
-
-         5         3         1         2
-        -5         3        -2         1
-         5        -3        -2        -1
-        -5        -3         1        -2
-
 ------------------------------------------------------------------------------
         Импортированные процедуры
 

doc/x86_64.txt

@@ -57,12 +57,11 @@ UTF-8 с BOM-сигнатурой.
         метках вариантов и необязательная ветка ELSE)
 5.      Расширен набор стандартных процедур
 6.      Семантика охраны/проверки типа уточнена для нулевого указателя
-7.      Семантика DIV и MOD уточнена для отрицательных чисел
-8.      Добавлены однострочные комментарии (начинаются с пары символов "//")
-9.      Разрешено наследование от типа-указателя
-10.     Добавлен синтаксис для импорта процедур из внешних библиотек
-11.     "Строки" можно заключать также в одиночные кавычки: 'строка'
-12.     Добавлен тип WCHAR
+7.      Добавлены однострочные комментарии (начинаются с пары символов "//")
+8.      Разрешено наследование от типа-указателя
+9.      Добавлен синтаксис для импорта процедур из внешних библиотек
+10.     "Строки" можно заключать также в одиночные кавычки: 'строка'
+11.     Добавлен тип WCHAR
 
 ------------------------------------------------------------------------------
         Особенности реализации
@@ -92,7 +91,7 @@ UTF-8 с BOM-сигнатурой.
 
         - ASSERT(x), при x = FALSE
         - разыменование нулевого указателя
-        - целочисленное деление на 0
+        - целочисленное деление на неположительное число
         - вызов процедуры через процедурную переменную с нулевым значением
         - ошибка охраны типа
         - нарушение границ массива
@@ -272,16 +271,6 @@ Oberon-реализациях выполнение такой операции
         WCHR (n: INTEGER): WCHAR
                 Преобразование типа, аналогично CHR(n: INTEGER): CHAR
 
-------------------------------------------------------------------------------
-        DIV и MOD
-
-         x         y      x DIV y   x MOD y
-
-         5         3         1         2
-        -5         3        -2         1
-         5        -3        -2        -1
-        -5        -3         1        -2
-
 ------------------------------------------------------------------------------
         Импортированные процедуры