+++ /dev/null
-char a[] = "12345";
-char b[] = "12345";
-
-void loop (char * pz, char * pzDta)
-{
- for (;;) {
- switch (*(pz++) = *(pzDta++)) {
- case 0:
- goto loopDone2;
-
- case '"':
- case '\\':
- pz[-1] = '\\';
- *(pz++) = pzDta[-1];
- }
- } loopDone2:;
-
- if (a - pz != b - pzDta)
- abort ();
-}
-
-main()
-{
- loop (a, b);
- exit (0);
-}