Re: [GHC] #4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
#4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1 -+-- Reporter: dsf | Owner: simonpj Type: bug | Status: closed Priority: highest | Milestone: 7.0.1 Component: Compiler|Version: 7.1 Resolution: fixed | Keywords: Testcase: simplCore/should_compile/T4345 | Blockedby: Difficulty: | Os: Linux Blocking: | Architecture: x86 Failure: Compile-time crash | -+-- Changes (by igloo): * status: merge = closed Comment: Merged. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4345#comment:14 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
#4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
-+--
Reporter: dsf | Owner: simonpj
Type: bug | Status: closed
Priority: highest | Milestone: 7.0.1
Component: Compiler|Version: 7.1
Resolution: fixed | Keywords:
Testcase: simplCore/should_compile/T4345 | Blockedby:
Difficulty: | Os: Linux
Blocking: | Architecture: x86
Failure: Compile-time crash |
-+--
Changes (by simonpj):
* status: new = closed
* testcase: = simplCore/should_compile/T4345
* resolution: = fixed
Comment:
Done. Fixed by
{{{
Thu Oct 7 03:27:20 PDT 2010 simo...@microsoft.com
* Fix Trac #4345: simplifier bug
This is another long-standing bug, in which there was a possibility
that a loop-breaker could lose its loop-breaker-hood OccInfo,
and then the simplifer re-simplified the expression. Result, either
non-termination or, in the case of #4345, an unbound identifier.
The fix is very simple, in Id.transferPolyIdInfo.
See Note [transferPolyIdInfo].
M ./compiler/basicTypes/Id.lhs -8 +25
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4345#comment:11
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
#4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1 -+-- Reporter: dsf | Owner: simonpj Type: bug | Status: merge Priority: highest | Milestone: 7.0.1 Component: Compiler|Version: 7.1 Resolution: fixed | Keywords: Testcase: simplCore/should_compile/T4345 | Blockedby: Difficulty: | Os: Linux Blocking: | Architecture: x86 Failure: Compile-time crash | -+-- Changes (by simonmar): * status: closed = merge -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4345#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
#4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1 -+-- Reporter: dsf | Owner: simonpj Type: bug | Status: merge Priority: highest | Milestone: 7.0.1 Component: Compiler|Version: 7.1 Resolution: fixed | Keywords: Testcase: simplCore/should_compile/T4345 | Blockedby: Difficulty: | Os: Linux Blocking: | Architecture: x86 Failure: Compile-time crash | -+-- Comment(by dsf): Build of regex-posix now succeeds with this patch. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4345#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
#4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1 -+-- Reporter: dsf |Owner: simonpj Type: bug | Status: new Priority: highest |Milestone: 7.0.1 Component: Compiler | Version: 7.1 Keywords:| Testcase: Blockedby:| Difficulty: Os: Linux | Blocking: Architecture: x86 | Failure: Compile-time crash -+-- Changes (by HoseinAttarzadeh): * cc: HoseinAttarzadeh (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4345#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
#4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
-+--
Reporter: dsf |Owner: simonpj
Type: bug | Status: new
Priority: highest |Milestone: 7.0.1
Component: Compiler | Version: 7.1
Keywords:| Testcase:
Blockedby:| Difficulty:
Os: Linux | Blocking:
Architecture: x86 | Failure: Compile-time crash
-+--
Changes (by igloo):
* owner: = simonpj
Comment:
Standalone testcase attached.
{{{
$ ghc -c Wrap.hs -O
ghc: panic! (the 'impossible' happened)
(GHC version 7.0.0.20100924 for x86_64-unknown-linux):
initC: srt_lbl
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4345#comment:8
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
#4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
-+--
Reporter: dsf |Owner: simonpj
Type: bug | Status: new
Priority: highest |Milestone: 7.0.1
Component: Compiler | Version: 7.1
Keywords:| Testcase:
Blockedby:| Difficulty:
Os: Linux | Blocking:
Architecture: x86 | Failure: Compile-time crash
-+--
Comment(by simonpj):
Thanks for the test case! I've boiled it down a lot more.
{{{
module Wrap where
isNull :: IO Bool
isNull = error urk
wrapMatchAll :: IO (Maybe ())
wrapMatchAll = do
nsub - undefined
let loop True = do atEnd - isNull
return Nothing
loop False = loop False
result - undefined
loop undefined
}}}
It's a bug in the mighty simplifier. I'm on it.
Simon
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4345#comment:9
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
#4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1 -+-- Reporter: dsf |Owner: Type: bug | Status: new Priority: highest |Milestone: 7.0.1 Component: Compiler | Version: 7.1 Keywords:| Testcase: Blockedby:| Difficulty: Os: Linux | Blocking: Architecture: x86 | Failure: Compile-time crash -+-- Comment(by simonmar): There's a Core Lint error after the first simplification pass; I've attached a log from `-dverbose-core2core -dcore-lint` in case this helps Simon track down the problem (he was having trouble repro'ing because regex-posix doesn't build on Windows, which is a different problem). -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4345#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
#4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1 ---+ Reporter: dsf | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.1 |Keywords: Testcase: | Blockedby: Os: Linux |Blocking: Architecture: x86 | Failure: Compile-time crash ---+ Comment(by dsf): This bug is a blocker for us, we have suspended testing of 7.0.1 rc1. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4345#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
#4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1 -+-- Reporter: dsf |Owner: Type: bug | Status: new Priority: highest |Milestone: 7.0.1 Component: Compiler | Version: 7.1 Keywords:| Testcase: Blockedby:| Difficulty: Os: Linux | Blocking: Architecture: x86 | Failure: Compile-time crash -+-- Changes (by igloo): * priority: normal = highest * milestone: = 7.0.1 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4345#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
#4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
---+
Reporter: dsf | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.1 |Keywords:
Testcase: | Blockedby:
Os: Linux |Blocking:
Architecture: x86 | Failure: Compile-time crash
---+
Comment(by dsf):
This problem persists in regex-posix-0.94.4. It seems to be caused by the
line
{{{
Just (whole:_) - loop (succ acc) pos whole
}}}
in Text.Regex.Posix.Wrap.wrapCount.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4345#comment:1
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
#4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1 ---+ Reporter: dsf | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.1 |Keywords: Testcase: | Blockedby: Os: Linux |Blocking: Architecture: x86 | Failure: Compile-time crash ---+ Changes (by ganesh): * cc: ganesh (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4345#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
#4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1 ---+ Reporter: dsf | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.1 |Keywords: Testcase: | Blockedby: Os: Linux |Blocking: Architecture: x86 | Failure: Compile-time crash ---+ Changes (by ganesh): * cc: ganesh (removed) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4345#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
#4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1 ---+ Reporter: dsf | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.1 |Keywords: Testcase: | Blockedby: Os: Linux |Blocking: Architecture: x86 | Failure: Compile-time crash ---+ Changes (by ganesh): * cc: ganesh (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4345#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[GHC] #4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
#4345: Compiler crash building regex-posix version 0.94.1 using ghc 7.0.1-rc1
---+
Reporter: dsf | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.1 |Keywords:
Testcase: | Blockedby:
Os: Linux |Blocking:
Architecture: x86 | Failure: Compile-time crash
---+
{{{
Building regex-posix-0.94.1...
[1 of 6] Compiling Text.Regex.Posix.Wrap ( dist-
ghc6/build/Text/Regex/Posix/Wrap.hs, dist-
ghc6/build/Text/Regex/Posix/Wrap.o )
SpecConstr
Function `lvl_s2Ay{v} [lid]'
has three call patterns, but the limit is 0
Use -fspec-constr-count=n to set the bound
Use -dppr-debug to see specialisations
ghc: panic! (the 'impossible' happened)
(GHC version 7.0.0 for i386-unknown-linux):
initC: srt_lbl
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/4345
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
