Make min_int / -1 and min_int % -1 semantically undefined

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1919 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 9 insertions, 0 deletions

diff --git a/Changelog b/Changelog
index d1e7e4c..c63dc66 100644
--- a/Changelog
+++ b/Changelog
@@ -1,3 +1,12 @@
+
+- In accordance with ISO C standards, the signed division min_int / -1
+  and the signed remainder min_int % -1 (where min_int is the smallest
+  representable signed integer) now have undefined semantics and are
+  treated as "going wrong" behaviors.
+  (Previously, they were defined with results min_int and 0 respectively,
+  but this behavior requires unnatural code to be generated on IA32 and
+  PowerPC.)	
+
 Release 1.10, 2012-03-13
 ========================