9fans - fans of the OS Plan 9 from Bell Labs
 help / color / mirror / Atom feed
From: erik quanstrom <quanstro@quanstro.net>
To: 9fans@9fans.net
Subject: [9fans] c compiler bug
Date: Tue, 14 Sep 2010 11:25:27 -0400	[thread overview]
Message-ID: <ae3bcd7db6c0b1d8da41ef3655f32334@brasstown.quanstro.net> (raw)

it appears that ?c do not properly do structure
assignment if the structure is packed.

i've included a patch just for 8c and a sample
program that generates two "packed assignment"
warnings with the modified compiler.

feedback appreciated unless it's "don't do that."

if this looks entirely reasonable, i'll submit a patch
for all the compilers.

- erik

---

; diffy -c /sys/src/cmd/8c/cgen.c
/n/dump/2010/0914/sys/src/cmd/8c/cgen.c:1824,1829 - /sys/src/cmd/8c/cgen.c:1824,1836
  	gins(ACLD, Z, Z);
  	gins(AREP, Z, Z);
  	gins(AMOVSL, Z, Z);
+ 	if(x = w & SZ_LONG-1){
+ 		warn(n, "packed assignment");
+ 		gins(AMOVL, nodconst(x), &nod3);
+ 	//	gins(ACLD, Z, Z);
+ 		gins(AREP, Z, Z);
+ 		gins(AMOVSB, Z, Z);
+ 	}
  	if(c & 4) {
  		gins(APOPL, Z, &nod3);
  		reg[D_CX]--;

---

#include <u.h>
#include <libc.h>

#pragma pack on
typedef struct S S;
struct	S
{
	uchar	a;
	ushort	b;
	uint	c;
};
#pragma pack off

S
func(void)
{
	S s;

	s.a = 1;
	s.b = 2;
	s.c = 3;
	return s;
}

void
main(void)
{
	S s, t;

	memset(&s, 0xff, sizeof s);
	print("sizeof s = %d\n", sizeof s);
	s = func();
	memset(&t, 0xff, sizeof t);
	t = s;
	print("a=%d b=%d c=%d\n", t.a, t.b, t.c);
	exits(nil);
}



             reply	other threads:[~2010-09-14 15:25 UTC|newest]

Thread overview: 27+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-09-14 15:25 erik quanstrom [this message]
2010-09-14 20:20 ` Charles Forsyth
2010-09-14 20:59   ` Brantley Coile
2010-09-14 21:07     ` ron minnich
2010-09-15  7:06       ` Sape Mullender
2010-09-15  8:30         ` Charles Forsyth
2010-09-15  8:37         ` Charles Forsyth
2010-09-15 12:20           ` Charles Forsyth
2010-09-15  8:32       ` Charles Forsyth
2013-02-17  2:38 erik quanstrom
2013-02-18 13:02 ` Comeau At9Fans
2013-02-18 14:38   ` Charles Forsyth
2013-02-18 15:02     ` erik quanstrom
2013-02-18 15:10       ` Charles Forsyth
2013-02-21 17:17       ` Comeau At9Fans
2013-02-21 17:13     ` Comeau At9Fans
2013-02-21 18:13       ` hiro
2013-02-21 18:22         ` John Floren
2013-02-21 18:39           ` erik quanstrom
2013-02-21 18:46             ` Comeau At9Fans
2013-02-21 18:51               ` John Floren
2013-02-21 19:36                 ` hiro
2013-02-21 19:58                   ` andrey mirtchovski
2013-02-21 20:24                     ` Matthew Veety
2013-02-21 20:27                     ` David Leimbach
2013-02-21 20:36                       ` steve
2013-02-21 18:51             ` Kurt H Maier

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=ae3bcd7db6c0b1d8da41ef3655f32334@brasstown.quanstro.net \
    --to=quanstro@quanstro.net \
    --cc=9fans@9fans.net \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).