0000018: Crash in verify_node_Shift

Viewing Issue Simple Details [ Jump to Notes ]

[ View Advanced ] [ Issue History ] [ Print ]

Category

Severity

Reproducibility

Date Submitted

Last Update

0000018

[libFirm] optimisations

crash

always

2008-12-12 14:31

2009-01-28 21:55

Reporter

sanxiyn

View Status

public

Assigned To

Tron

Priority

normal

Resolution

fixed

Status

closed

Product Version

Summary

0000018: Crash in verify_node_Shift

Description

libfirm 1.15.0 and cparser 0.9.7.

double test(int bps) {
  double x;
  x = (bps < 32) ? ((1<<bps)-1) : 0;
  return x;
}

$ cparser -c -O2 test.c
FIRM: irn_vrfy_irg() test failed
  node 46 ShlD(ConstD, ConvIu) did not match (/* Shl, Shr or Shrs: BB x int x int_u --> int */)
cparser: ir/irvrfy.c:1534: verify_node_Shift: Assertion `(mode_is_int(op1mode) && mode_is_int(op2mode) && !mode_is_signed(op2mode) && mymode == op1mode) && "Shl, Shr or Shrs node"' failed.

Reduced from GNUpdf base/pdf-fp-func.c.

Additional Information

Tags

No tags attached.

Attached Files

Relationships

Notes
(0000029) Tron (administrator) 2008-12-12 15:11	This problem has already been solved in r24387 and will be fixed in the next release. Sorry for the inconvenience.

Issue History
Date Modified	Username	Field	Change
2008-12-12 14:31	sanxiyn	New Issue
2008-12-12 15:11	Tron	Note Added: 0000029
2008-12-12 15:11	Tron	Status	new => resolved
2008-12-12 15:11	Tron	Resolution	open => fixed
2008-12-12 15:11	Tron	Assigned To	=> Tron
2008-12-12 15:11	Tron	Assigned To	Tron =>
2008-12-12 15:11	Tron	Status	resolved => assigned
2008-12-12 15:11	Tron	Assigned To	=> Tron
2008-12-12 15:12	Tron	Status	assigned => resolved
2009-01-28 21:55	Matze	Status	resolved => closed

Mantis 1.1.5[^]