1# Date: Tue, 04 Jul 2006 21:06:14 +0200 (MEST)
2# From: Heiner Marxen <Heiner.Marxen@DrB.Insel.DE>
3# Subject: conversion error
4# To: bug-gawk@gnu.org
5# Message-id: <200607041906.k64J6Eqa019360@drb9.drb.insel.de>
6#
7# Hello,
8#
9# The following awk script fails for gawk 3.1.4 and 3.1.5.
10# Older versions did not do this, but I cannot say, how old they were.
11#
12BEGIN {
13    if( 0 ) {		#ok
14	t = "8"
15    }else {		#fails
16	t = ""
17	t = t "8"
18    }
19    printf("8  = %d\n", 0+t)	# ok without this line
20    t = t "8"			# does not invalidate numeric interpretation
21    printf("88 = %s\n", 0+t)
22    ## The above prints "88 = 8" with gawk 3.1.4 and 3.1.5
23}
24#
25#
26# The following one-liner already exhibits the bug:
27#
28# gawk 'BEGIN{t=""; t=t "8";printf("8=%d\n", 0+t);t=t "8";printf("88=%s\n", 0+t)}'
29#
30#
31# Preliminary observation: under somewhat strange conditions a variable
32# does retain its numeric interpretation although something is appended to it.
33# --
34# Heiner Marxen				http://www.drb.insel.de/~heiner/
35#
36