From 12f7b21e6e1bafe895680108e75311c678a22ac1 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Fri, 24 Nov 2017 10:03:11 +0100 Subject: Issue #208: make value analysis of comparisons more conservative w.r.t. pointers (#209) Comparisons such as "(uintptr_t) &global == 0x1234" are undefined behavior in CompCert but their status in ISO C is unclear and they may occur in real-world code. Make sure they are statically analyzed as Btop. --- Changelog | 3 +++ 1 file changed, 3 insertions(+) (limited to 'Changelog') diff --git a/Changelog b/Changelog index 4c5632ee..7b230e41 100644 --- a/Changelog +++ b/Changelog @@ -1,5 +1,8 @@ Code generation and optimization: - ARM in Thumb mode: simpler instruction sequence for branch through jump table. +- Issue #208: make value analysis of comparisons more conservative for + dubious comparisons such as "(uintptr_t) &global == 0x1234" which are + undefined behavior in CompCert. Usability: - Resurrected support for the Cygwin x86-32 port, which got lost at release 3.0. -- cgit