Summary of changes: a7b8fca... try -fno-delete-null-pointer-checks to workaround bug #1091 (*) 2d4235f... fno-tree-vrp (#1091482) (*) 1cbbe3b... 4.8.6-5 (*) (*) This commit already existed in another branch; no separate mail sent