Opened 4 years ago

Last modified 7 weeks ago

#7411 new bug

Exceptions are optimized away in certain situations

Reported by: SimonHengel Owned by:
Priority: high Milestone: 8.0.2
Component: Compiler Version: 7.6.1
Keywords: seq, deepseq, evaluate, exceptions Cc:
Operating System: Linux Architecture: x86_64 (amd64)
Type of failure: Incorrect result at runtime Test Case: simplCore/should_fail/T7411
Blocked By: Blocking:
Related Tickets: #5129 Differential Rev(s):
Wiki Page:

Description (last modified by bgamari)

The issue came up in this thread on glasgow-haskell-users.

Steps to reproduce:

-- file Foo.hs
import Control.Exception
import Control.DeepSeq
main = evaluate (('a' : undefined) `deepseq` return () :: IO ())
$ ghc -fforce-recomp -fpedantic-bottoms -O Foo.hs

Expected result:

The program should fail with:

Foo: Prelude.undefined

Actual result:

The program succeeds.

Compiling the program with -fno-state-hack helps.

Change History (11)

comment:1 Changed 3 years ago by igloo

  • difficulty set to Unknown
  • Milestone set to 7.8.1
  • Priority changed from normal to high

Thanks for the report.

comment:2 Changed 2 years ago by thoughtpolice

  • Milestone changed from 7.8.3 to 7.8.4

Moving to 7.8.4.

comment:3 Changed 20 months ago by thoughtpolice

  • Milestone changed from 7.8.4 to 7.10.1

Moving (in bulk) to 7.10.4

comment:4 Changed 16 months ago by thoughtpolice

  • Milestone changed from 7.10.1 to 7.12.1

Moving to 7.12.1

comment:5 Changed 9 months ago by thomie

comment:6 Changed 9 months ago by Ben Gamari <ben@…>

In 15cb83d4/ghc:

Add testcase for #7411

comment:7 Changed 9 months ago by thoughtpolice

  • Milestone changed from 7.12.1 to 8.0.1

Milestone renamed

comment:8 Changed 8 months ago by bgamari

  • Test Case set to simplCore/should_fail/T7411

comment:9 Changed 5 months ago by bgamari

  • Description modified (diff)

comment:10 Changed 2 months ago by Ben Gamari <ben@…>

In aa61174/ghc:

users-guide: Add references to various issues in bugs section

Test Plan: Read it

Reviewers: austin

Reviewed By: austin

Subscribers: thomie

Differential Revision: https://phabricator.haskell.org/D2052

GHC Trac Issues: #7411, #11197, #11554, #11715

comment:11 Changed 7 weeks ago by bgamari

  • Milestone changed from 8.0.1 to 8.0.2
Note: See TracTickets for help on using tickets.