public inbox for gcc-prs@sourceware.org
help / color / mirror / Atom feed
* optimization/10429: With optimization the addition of 0+1=2.
@ 2003-04-17 23:26 karenpcarlson
  0 siblings, 0 replies; 2+ messages in thread
From: karenpcarlson @ 2003-04-17 23:26 UTC (permalink / raw)
  To: gcc-gnats


>Number:         10429
>Category:       optimization
>Synopsis:       With optimization the addition of 0+1=2.
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Thu Apr 17 23:26:00 UTC 2003
>Closed-Date:
>Last-Modified:
>Originator:     karenpcarlson@yahoo.com
>Release:        3.2 20020903 (RH8.0 3.2-7)
>Organization:
>Environment:
AMD Duron running RH8.0
Reading specs from /usr/lib/gcc-lib/i386-redhat-linux/3.2/specs
Configured with: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --enable-shared --enable-threads=posix --disable-checking --host=i386-redhat-linux --with-system-zlib --enable-__cxa_atexit
Thread model: posix
gcc version 3.2 20020903 (Red Hat Linux 8.0 3.2-7)
>Description:
The following file when compiled with -O1 or higher results in a incorrect addition of 2 64b numbers. Looking at the assembly it seems that one of the addends gets added to itself instead of the second addend. The bug goes away with almost any changes to the source, no optimization, or an older version of gcc. I have reduced the file to be as small as possible while still reproducing the problem.
>How-To-Repeat:
$ g++ -O1 -g3 -save-temps ../test.cpp -o test
../test.cpp:140:3: warning: no newline at end of file
$ ./test 

zz1 =2, zz2=1 zz3=2
array[zz1]=0, array[zz2]=1
result=2
Abort (core dumped)

The abort is not a bug, I killed the program immediately after the printf showing the problem. The correct answer should be 'result=1'
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: application/x-gzip-compressed; name="test.ii.gz"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="test.ii.gz"

H4sICIkxnz4AA3Rlc3QuaWkA7Dxtc9pIk9/9K+aSqi3wOglgx7GPzfMUBhnzBAMHOMleakslg7C1
FhKrF9u5q/3v1z0v0rwJyCZ7dR8uVcHQb9PT3TPT0zPSS9IkL16/fpP5afZ6sdm8OHiJkF9u8yDM
XgXRPwCw9FdB5BPX/ehMZ4PxyHXJi+PXLdJqNFqN88YxqU39JbnyMjIMovyZnL1uEMC/eleXmW9m
ztQddi6coTuZOpeDzyBGQk+d/mA2BxIb8qrz0XEvbgbD+WDkzpz5v64nQNCUKGaD/3Tc+a8TB+B5
lAZ3EagURJlEMplPe4PLS0GlIj91rzpTgQrj6E7HD0bzHfJn815X02qxCfMU/yOUNBtVhu1//ux+
cjofGDt1wCJer71oSUKgUGlHN32gO95F13PAkt3O3Ontlul87jqTObh2tlf73X3ap3TXg9F4CtSt
vagnnXn3auh8hBBxSWMnCxitczEQUQnm3dmKM7zcbeI8Cp53m+Euyt0Qw323QEq2hxP2Uc51Ub19
6L5BQXd/wv2Ms2ePxxBz1zhw92iYjq6rMUwRvT3IIZzc2fhm2nV2kQbHZ6e7W9+fap++ZHnka8Tm
FPwmT5M3QbQI86X/Js2WQfz6/gUgcOC13lXhj8tmwGKDsXslWlDoV76X5YmfSiIbW0gkqZdOZ34z
dWZCcON8Pz73gzMdwcCezaeD7twdda6dGTmAf8oK4XZGswETbPSxQvBgNu6en5feLjGT8QwWkkpE
t0Cdn79tnA4lgs/jiTMS6NNGowIF8+bcGfXoDFtSDDvTPixhQ+f0xNb4xaxnA88+DnpKyJ7u6RBq
NmYExvju9BsYqSlQEd0RFNGqxIDNjhvn29BgUhua2k/peQmW7amib0aDz+dndjPbrFnKbH1AYXkE
GMVW1QZsNbeNFt2AhRq2zkqhwNAmyfVg1rWxQpjYwBgmNjhMeLYW6Kw5cLru27fnesYko7rj68nQ
+UxJTP7Z2G02Tk9wuoKcr9E4H6KZ3u4bZzgZDwcX0870V5BwqmrYB0yXZQgaTOQObMLb1ycskZg6
U+c/amvv96N1ENVJrVbkLb/8AkOrTn7WM5R/vAcqYKiXFDXkresmZcpZW+BdkZtQerKjDbMVmvcO
x6M+/RAOtiwPX9M3C+DdNp8rNPIy8evM7facSzGjn5zsyejOr6bjTyS7T+InUqur+k9qXnKX1gl+
ClKV4HoukUC77/ZVGIJ1BHlt7fnoa508k5cvyVclYqeDUb/2XCcvn5UGN1niZuQxDpbkUE5VINd3
l3F+G/qAppk/+6U55AL2JyNIqrvDGfGfMz+JyIvuC/LfcgI36nGCP+nKuLchmWy6JE46sKzAqCOa
3ErkzQy6q6Jrkbf262RLAzjVVTagIfUGAC0a0Ex0G+M0u5SZ88gCBE88emHuEyPqV6H/7CUJ+fIb
GvDt1jCXDTh1egPY7MypYkebJM7iIy8MPIguhBAKATovXcMwhKHamV1jj0jtJSOrS8I4rrZgvSwA
LWS07GKPCKM0RbRqmwRAz0eFKBadhMPrjJMu2nsHi5dlSXCbZ7679sIwXkCHZKBLpyKBwo6R5tnx
twvfwORqFc0QTPB569sF56m/tApmCMUVJUkUBxHm0VbOEknVajX0lWkPtVZxsvYyFyYj18XZw2xF
piBAwtpq/vW20ixZreMI2vOObre0SCO2ID4i3hG55a2f7O0AWCpB+AL1TwiyGr6TV9QWXUOODUNu
y4QweZuO3MFoOBg5rJBwvGtXYaxksGuFzUx+W6xk6gSBKNd1H2D69UN3EachqcSmEBTV2MyzYBf3
q9CDBUuHr8Az3uLehFcyLH07g//sLx59E55nwdo35dxl2VcDGFYQb+I0eAZdl49BajahYCEf1fGJ
/xg/mGypn4XxXRCZiOAu8cGXFkyaPZhA1hMIiW2ZHIu7lr6nLLa3iD9Qll+pnciHCSQN/gsXch08
uhkOiRRvYXD75m6xeIV/cSf+KvGX9172ilYu3hy/bsltg6gysWqetb5DhjxomKpqpZPVMRUYA8kA
yNg43ZUEnjOgATHFG8JlJro/NaAcAnkiDO5eNUZuzA2iTHRSHgr9bteuiNJi4Un8l33d+LiDk0uv
hBG0MWBa3+PX43J/KIUQxurp6Q9xNQ0+EJ6HIUp99/YHKouyUejbrUPGnGhvgyx9g2aV9wx6EqIS
SbF7MZjPaDmc7RoOqofhDxhxf5d39bVJ7S21mxl4i3svwcTWxS9tE5/ex0lGCeg3CwWGLuLhrwVL
dyCIxi/tgwPXxekOsLj2Ezu5OK+gfH/k3hJHhZ1RpxfUsO/TJ13d+UKEaggQc+baOiIMpRModmJK
wGfz1CpEpsoNMsWg8Hncsgop2RlBhWkqLAqfpyfVBq32RMFYaCTMTQ7hm7dcJhpWOA++Lv1HuS88
XqjYpR1xZyJ4LAVRbGdZx0vfjsF0+kFGSR2LVyuVqVA61FCMfqMqxoCpmLwt+iZhsNZRRRuIZGY1
tWYNleGRJfkiOyCQJRD4x2hg5/ml9VsbIH/ihjPlPJp6S+EdAabRDG5b6AjJMJiVbQvA1F/E0TKt
4E534Z9uwwelfxJyAbu9B1tHKMLeR1SXRaA8e1/28ICV5g3NRuvE4Hrwv6rCrGM12CyE3w+sCkNf
RARUUywgf7BHGkPy4WWLoVVq45fiSBBslbEKwu0yGIFNRkEEo8/Es5HCBpOOlSPKTRde6CXWqFLo
8pJQ9xh80tqX1Wk8tiBIQj8S3qjIFjbZfeJ7Sz1psC6jOq2eO0zmV1On05NSCD2BWNz7y42XeGtS
pQ8lKRU51TerKpGcebMvSiOgAZsv0BwIdilcmz04JgniJMi+0lmkrecXhczKjEo3Dks1RPMcC1u1
NMPRe4AKyBNBBvulFNvmvzew0QU68N2fynDTBS79dJG4HHqogtvS6RhzDWT0s+60zOttkgsZWLlw
U6opn0Dp/hdV9SVNqWniMFhQ09nsXVDhj5IziO59sDhFyfLiDRXPs01YBHMvWeIviQgUeaCzNmxl
EcxKwBJCkUChTMKfROleZjEu7XGV43D6dZlniOYFinrygizAJK9sCBeA6oa4afP1+qvOVGpoHeKC
tJi9tzWwxmKRnzzKpl5DK3mUWXuyduOnyE9k4ocgWra3m2bNTVP2Y51n/vOu3lMiJl7jtDhJ7noc
LYzlRlcveWLr6C63Jk+FX5lWAEAaP0mtFgL0E4Qvs5ENS38X8bBFgkxUNC2sXQA2KaQrvmIi0bXt
1kUaVVqlKMnchbzHOPSyIPQVw4v5SQ1Pbt0dhr71NEMDIPH/yINEDk4AbjBkK+IT0JahduslSeAn
lVpVdp8zyv3fsjgLLrrHahqHa+aeEwsE2/by2jpJj551oMvBB7aRTtzBmOHxo22ePdJDdb5E0pVZ
Wd8Qu10sk9CWRe4S6hZitesrNzPIDwbj2RyWpGtiS03C4Fa+GmPs6gu8fGdkXNyOsYl0+zinroI7
axFaIN17fiC7XwXyCbcQNjhWyf7OguXfVD5pnZz9oDoot4xaCOUXMhUghykVTgYzQRZZpiS97mkB
C5Cl8qmhLJgroxwq+qocDeDdUhsLFkpL3UmrOCT8PkfKPcUR0/yR8cE7qA4Mdnt2SymXDYK2Pi0w
MK3E/pCu02Lp/2ZZtqmXZZWphZ926KezCo0x4a9vaVatFlcFK7V+OfRP9JWkwBtii2noB8w4x0WX
fkhEiSAwKpRFb7bVuDWTGMdPKpG+T2XjRNugMuD1YERqr1rNk3cnZxCf70LyijTDuknX+UxqEhke
3BpXG5SuwF5WjwlJQX25LgJCXl4rM7wijc+jII6K7S13P52M2xTC67fw+/bLSVEwoxc3MBuS2jWG
bYGh18R2joByYeVLJ19jLH3g1UdMzGKWakvjgW2NmXZ9dwUUSrFYk4Jll33lsBKNrGi5XxQLYomU
ajsGgrfKv8lIWi4T5VIZkXNEriNERiGmXBnF3CmGjqQ49AzmUvbHdv4OvnncciJU4GW/dcejj/wc
6P8nq70mqx0j/CU5qzSW3qIy2PRGC3dZdg4789T/u7nn35OyYCxss59y53b0YTT+NOL3YmnCWatx
QXXSeF6tVku8EulH+ZrPOWyYjD+Q96RxJEFGY/yjQnoX6u9r5/roQII415P5r5A3Tm7mMuElZB3u
+GaugQfDodPvDE36wYhd/J07AmfhonXAwWQ+nqqseNsH0M50Op7yyqPR28HMHXZmc+zyc6PRaCoS
+qPx1GH8M0HR4pKK2iD1AExb/qZtA7pLL/MMTBh7S3BsfPu7v8gMbJZ4UcoZtWJR7VAQrRbgx5ql
RXJ4RKoUARxdO6v+4fIbpZl2SHoIEisw28WZYviYhm/QG/pR1w8Eyi4GUZBt62e9LRV2gqXE6UfL
HYyVjTLjb7Pu1i6zf1vsz8u7+0j5Szbf4cjvaPYvCRMO3+JmZnH4mvnPwt/cSN9jgl3d+QYRuyyx
s3N/5H7ylXdN6CNkqb/3s+o32lYaSMyw0KzcaPVAYvzlcGLs2GDlnAXzK51EteEEkOJ72yCQvF8Q
SjCTgatUEPPf8vkJm0CNwVhqikQRtNCuntOVQrtt8qYHNfewurv3XrQMfaapbFx6jQGvUbcP1E0O
VtsPSEG1SuK1y+hKYBa7Bas088N3zSrCxfQsKjCMVpqrMNRBqc46iGimAb1CLaSDEu+5AlFyZLGV
HsFlCzQFXOUh7YjqoErbi2gyxh9sT/LsNl+1q1E+HhFI7dNbsAokiB7jhZfhZZnSGzIa73B6Id6K
4NYv9wqHvEObyp0ZlbQ18OivdsWJaOHUVcwiUOzmIjRMaolqtja5boFXbwNVLkjMC+TLb7ibLIc9
vXC1c2dclspwq24ZKtgBDHfprK3Y0W8j3bKCluP6TzqQ1rdYUuB74UBor14x6IsbXMTyJALeMaI3
2K8GeD+/3rbw4r2srbwznVe9wNAvLod9mwY2KfvrIu+r2RsKxuOhdhuSYzpz5/NgLj9/xxHF01cV
uE8dnW3kOD08vehM++yJrRL16LlhkFKvRvlC/DS1mUwhe790LyeWRq+vOzYwfQitN765GMJWYWwh
4Ic/Ln+804LuO3N8MgB2DpdjpZ7WR6zgF0/zN57xUUOVDGWfnmD5ZONHWL4oUcOZ43yguDD1/QcV
iX2iuPXa26ioy9m8Mz89qa2WRzCt4UMYq2deI6m5iEOFjgigCeItrp3N3YvhB3phStTfGOfFzaWE
rCucgAMg7PLPW6pI+pwVE3wz6oEturBHwnchlCQf5x30AnsI6aoDOyxn1J9rocCe2ppfwT5VCy2F
nT3DRF647mPmvthB5g56hBJqEQ6ROKvBx3Awm9cJ/4K7ab3EURzFsXqtdBpHa3Vl1U7BrXYhWU2t
rNQpBGJq77t6oQ6REtaC5oW8vl7JYyjRrFHLw/6wml1fr+YBKheo3EDx6VWaaRW0Oinos4SFtIxM
M1gVch6ORWAqyGJWKSYYBS0qx6LoaDkRdQsZf7Wo5CV3UsXu3XeI0Is/bjlNKorTh4M/dlyMZSLd
3KPvb4HszD7X4rr+Vq+ZamHPmy8ta7e2Ooe/JMZj/baD7Uln2rme1ejzjinOZhPx3Tjmx8P10eBy
AKvJv26uJ3S4z4pHjDmVM74ktVdN+rBfQ89X7CfrM1ZKkicdBLKqlPyYN0I7+Lw/OdGAkwlCz1To
fHoz6pLmqQodjbtTB6SQ45aOmDqTYQff36CJvxjAAtU6sxnkutMfdGHpubzo9PBB9xI5Hvb4lYGC
pnPRVWkEEj5nH5AC/hkU9AFSGGWqfcAVALt0pk5PNRH0w8XbeDPVSAj+NB3MwWOKmVxwmAtLIa6f
TbVhZzoVmJaK6Tm0Atgbj+ZudziewXrzfKKSwML9AVRrPJ+p8MHIveh0P9xMaHsGj0N7SpdyBTXH
qINwwJyANqaiuzfTqTOaD39Fmjk+MIsNay2LOGHopm5nwGM+UbSvYsG/whgnVg8Nx90PrNWGGiKX
w05/1hJpkoqbfRhMPs1IQ3Xt0LmETqpenQ76VwA80YzJSqogQHcQBJzmtHEX+VXYlfMZeVXg7Gr8
6aKDTtW9gJjJGFpFQZoNwLTTLuUyLMvYZlSehukOwG0wp3SpRBUJCQRGUNMcEaPBnLqpZaDoiGOy
NItIsUolau6FRLwznFx1uNCGtAMG9O/5egO7GP3iEr2h9U4/ApBmOaWIg1zSlTqlgbWXPPiJcrmt
hB7yoggxLk4duinddpf7ZHo6iQ9ab5l76RYXK+90v7b0F5ChJX6ah+KwUwDjhyPl98ZLssALVaCf
JHGigqIYkxFs5yVpGedWkiZ6f4pTZ14eUBK3IPQZnKNZr7HMcEgJ6K25TZa0TajPLihq0Fsv9VUw
uzFZBTdkM7AhHFxikYFQVgUpqkmYUHqPaoMMfOstHvKNBUHphRhbqLAvqY7n4QKCgqise6FNo1iO
H2rZFi+w8HQ2Dpf4ld6GlhIemh92x8Ob6xE5kCs//Im2RZ5ARIT5OmL3paWHvB4zD1+fIYSKuwOU
Eez0pfkb16kcM6A8u9gpH+ZZQko5rC+0ZtJEnWvjLZtt9XerNApu3EsvuXmE7xlofWm+JYe07hOv
SA3PScgryM9KEK/E/lbcqj/Qw9vFF/u1i8eRbVj6q+U2XbzBGbntfWnjPNufGEas21YXItocli04
z2G99pOqivyaBcYAbVZzoEImC7RczYJq0ZcUHL/dciWzTKzLKxVBzAb0KhJuwLkofgj8o6IMCWF1
JJXtbr9mflov7rJWSGUD3CZWLymj+N3nBGX7ZtO8zBm7WI6oaFME9iG9hnLEeZ6M8wYqZxHGqU35
elvrsmQ+RsF/5tGClmOVp5lkq3Bq/ruKXPSHU7OfVcSF0pya/5bIrVeVlE4c4pe2gBbaHtJvBVyo
dYhfCmjR/iH9RsuYEKJcGyAQqihXhSpJSAWjPDVwEpyL6cLMBnGRMggJUZCVB6AqG/UtfhERwZ4O
wO7uCEojxCo74oJRxIBR36cgfvKHFmGzmqxCfMNTue7Ui5c+tTXqvSnjR1MsO682Ocq7aftqI3F8
E7VdK4aXGZWJ8M7PFmAnXM78Zc1dbejbwODPq3/IeQx9+5cGhpWf/FOyG/L+Ozms6eefBiPI+/ln
pRqJRSeI/O/R5KefNIejgPfvaRHgn/RzX93Ul4Gharlio8X9EddOYi6yMk2/Ii2rU1tJPlptjoiq
D2qzuK+jFQ3Eoa2tn38m7zlP3SgHgGefKg36FCx9elZSbVwbiXD5k+rzWllKq5PDHW1YXJ+rmj6V
FraLshrbSlMorBke2zA0r1Wprhv8yW7xFeReUjeKIOFC2X7hJ6XSUSf/9p406poY3MXsK4gXRoQg
ZaLi41ueEJgw+7zGQ51mlJhUHJG9+VY07fwGcuziNgZDMTo9MIts5VNMyUssvH4HG4Sb0dycWspw
emUOXdz21C1L4Qp1oQve9vm5ZGAO3YOlsFKWfN3FgiexlSXbY3OGZb03J1zWcTUORduMR8WVnbFh
JcUt6EXoexHsKBP/DvOoNIOtfA3vHRztpIXxXHN7cZDRF/hp9npcpQsvUuKQlO8OU2+1yIjKtEQt
Y7OE5rBk3OK6x9Umge/amLCrso8mmiqWlqXdAjrXW0ZGdnJUElkESNwpzBoau7hzZbKXChRbXRQB
0QW/VSEFiXTDz9YTXRDsL7YJsmlTDrvE90UJw4M1qHogvTVeBiDXqfAQw3gTofKaImUfI3uLlOcr
IrL52Yz6gLoqQpwYEvEsgA1NzVRe8lenv8uLS6KUFocXWuV+BICWso6Jw7TBuDhNI83mWVXHyxkG
j7Dx5RtSixTUvZlKbVIQno+orU7cbL1ZBgk0A1/oO8SPt7VZ8UoFpABLr3e9FEohLLswRC0ib02k
avX8ekKfgWkdnx23ytMKjB887aa4k8b5qdSZobuAEFxD/J3LsDz1EwpTen5JXx2NUvBwCLq9/e1x
VQUb2DliZaSq7ELRcZ5txcOaLK+frAxDP2UYVlrYHxmKxRT2R96U4WyY+GvIvfSbjS4r99EXi9oX
/YRiTb44XJoVj8h/UpMASQnWP/AsW0ZxYlDHfbN6XB8LIawhHh61/2nvW7vbNnKGP69+Bdd905Va
1RUlWbbjJs9xE6f1eRw7j+1u283m8FAS5ajRraLk2G3z39/BXMi5YIZDSrm0uz5tJJEABsBgbhgM
RhSbaoViJUIshl6mzJ5MOVpaaGNOdCuTCedSVxJpX6bmFqO7Bht1RGlY+FCWkFXlHeppRH0TQV2M
ccSyknhqq9XRaLJOXzuhawiCNE3xx6SMEc4t+ldrawRROabOxMgc5AaLD9IORPDhpphCeMnLZMOy
i0u34ekTkwDTK/Si1isdOqgiaQDS+xMHmTQoutyw+Or69NSoaX1DZgI8HhXp4Uwjwk2YOcxyN6vM
eXwzHgjvmsMVV134wOmz4w80KVQRpmS0oJrI8txIjnJSa56KUYgCwYgQZvUgelhVsD44NAYFDkoR
Uq/WLnlIUK3dCxUkTWArKe+8DOtoYtqmMX3YAANmQkjeVqOJSzme5RUs7w1YTE4Siyzmt8ZFICcz
Il9QWxFlQ9ZsRQV4S1MGBbEss/Nbtntnea6bwe7urm3Uy9aCG1FJBRkE3dIoKxQol3jrVJfZFk3y
eCVry6MI0pLbpL4toTyUrjq70Yi7dfr+BNQb88zNR9YmpvEd9IK2Ur1qu3C6J2duZ3xB4vZOM+iy
yHFFgVvh3Id1j8otI0ur0dC7aipQrJmEysxihcyhZWbtAm6P+7bgXtmUKmbc1uO65JluZjSE1Y7O
alVGPwSbqi0MBaP2eZnGRInuYIuVX57PLSlLG1y5+7Xc2LrhoMg9vpsRKaaCD7BVxld9iHUorfIA
tLnBUa4Ue9P6fW+9b5GX0MJL1er7MMMOpkq95bBtOvs8VoItAq3pwCAb6gIR/jsAyveF+I4h7AaZ
tLwcMWb5EhrGiK4Jb3ePOrVX9y69+PPGqelYVKsc0aZYgMvjBfL9VXgUIBoeKZEGnnwZnJUjYIpl
4rvUDmEG3uYIO/2C6tsisVS3JhhGaptlMoqzpsP9YiwDNPoqeZtHQeJFUpObKbdTwdMF1zVCl03/
rxwwSDgcJpOxxd0BK2fXjFD8oR6PmRCNFgCJYQvpeAlpSLENGbYjgadXD5MA2NxAAAv/ThxvH6Te
96QFY2ip5qU2e4S0ZfcEENYzNgr5dYDqBvYIAo1QByhdvCnuJYsec/eXS2RkMilYoKEjucSb8FLI
jGswBcXLIR6lJ0hlLQqpCm3sr6yHypWD1Q2ilK0wV8F0jEVUkrzRB9SmdoVJFm39OpkN0C3UDH60
SmALrHh7jsq/TN6OZ+5p12fBnpGm2ByLMlHmpiyRnGSwWBQBTiUxyGkxHF3jRkN5p0qfadLAEofr
mkdgaFYBB1L17k4VWyWcy80sLacKpFT+e45tXsRQ5rDVheo3z9Vo17ARcMNUbNK0TBi5CmV4ixLF
SYECNZpaxOXL9SgdQbD0RdSuIYxsSU98eO5T03hGX1gWzOg1SVe4KbuaUgJMvXGUaFLfFRXlcyHC
NAtG7po1f216n8KhPFg6S0E5eq5MDFTpSeDdjManZCarcsR+SSRevtLmIJEnjUgj8lnQaxn3lOpx
X7K+6TG2MnEKFMG/gtTNzQUeOzCYT6fxzG8fWZ6oFQdzGIshEexkXztp8DwQyg6fsuCkeZ9eZ6Kx
yJ9GwuWpAmt9DH/qHLXf764J5gAXItxuTYaqfsIc3XRy6b1zeQ+1aq+0R5Gipn2m9GwCI0dBezga
WEFytLVrxtAzUlN4BhpK/Zk+ZqtAcu5aloWB3TIcsHufhZrYLxC55rXnObU5J/NL7eE0Gr/mNt/K
ZcF7zZwE4BzV3qksWByHMsncWUiDBDkNgwrSs8kh+zLF/IiDcSal4OyR6/ARevrIJrDVU6nyySRG
GDVeaJyy9xZWMaoZrwq3dg+kXkPc4wiLaFbzGLnSjkdVG/UMAD2fg73ETkRlEzzzWBSR0HYsylI0
P6oDiJnEugb/6hKbBuPy7WoScmvB5ENeIdKJjqaMbHihrrrMk9ibzjbhYZO8aDO/GpYdqBIdiv+P
f8/+0czX8phxeU7UHTYlznhBchh+tsuoU++pvVc5bbUcNqvnA5fqyKmDLqg3ZNYURdXVlJJQiEg2
RYeweLaKFsQmaEwXPauJvZ7Rd3VxyKTO4b+AN43gm0fBQfaeM0tsrv57Hs1MDPSRMACCD6c5j7QK
D6gBs6rL3TWD2eooGPHFDmkZjwK57CMGETwOWkfBV1/RH43gd5GwlUAbZ2mlXuAoGLOxnJ9HbQR9
8vzNEeeYWjd5exS84xIjsn8V8EK/5owRaNqGCjXNvz2i2vrjj8ACz1U/45BUsXwIpGpsigFRKE96
AAXkP2cNmAAS3nT3X9YUm8GMpiEHMg2aZiE07hSxzaE0/90naItqfD23SDmh8vu2yzE/dqUNccLa
pL5LN8g/s/nRWZXh3XXZXA+9NFy2OZFsT5620zWD85K7Gj0t1g52dne/XpEZ++5gsdiBzGjGaoKg
TcZ9aSWBHHriANYbMPTntqva2J1s/5EXY/xJ79/q6IfXcmugZsbXuyL1RVbfxFrPTr/ld9pYb5aK
xys6+EvVit5BrADmVvjj+cX3x+ffSWf7fvzh/Pry+AlNAigZ34/HRFEsU52a6iz68cnZxfkJT1TH
3gVdZJtbktkhDLtZWJIGbd0qpNyofoQkx5D69oerOoNosGkw+/o5vRelRTqxx4+DAyWFQfTj9cnl
86vT7yQ8GW1/pIFfXV+8kMHRwlWU02cAcfI0LwIp9hFLAaAhEojz4zMVVRkfxTyGvWfjEIU8Cv7O
KBB+XxACAoT21X+XucrewLhgpuuUiVh1y/g3tQVJhJ/+8PwFql3+HhIbamgRsPbk4ulJncx8yRTh
BhDJVzJ2f0PG7j9g4LhpKDeeRcAjReHg9IODM840vqBcllgSb2pkWTSOZ477xnMAyRYha8HxOUuQ
bV7rg6JEZ6fX12cnHDUI2x0pPWP07el34k2305aOAEcvnr4QbzrdsG3vL1RJ9Pr99ufrk+ji8unJ
pc4KSKCPajkt4UDPKT07uzi+jn4ktDJ6OXEZVBXYKFWcZ84ll9WQnzzO5ZeVkePLguGMRCy/OP3n
xfHpZf370+bZRSM4u2gG35/CdAE9hKz2RFQRNFV+AC9q8s3tb6Vb06VM+fD3ey3z66rp4KO3Efjl
yaOH+0d2mMGcDE/r6eJh6AAijQayKT48wGEehr3M18veQvJ9kIKyMJ7Fq2RYkvd0NV/cxhNbkRkM
yFfMlsYVIC4YS++kdEiZxkzudyV9SvBCexYE8VrC4Kq0IPC3EjyXUeN8VxJfAyZKswGTVzDAuicV
nwV7yA40MgeFrN2Q9DXvlb+gLiWyvPlcPGtgxu8gxwZAHomBv4SMCecZRHDgwyw2sqtDrilO3tMb
o6w08DrxkFFePHLiGUO9OtA6MY2xXp0BFGFrQ7Q2+Ju48KdlwJM7rl/X89VR9muZTNnNHMPxLX6V
u8DNgldyAtmjjMqEk8nNhD2RLxKlf+psx1WkrVykcKR0vHgBcHl8/pRlksguU1XeQ/1Gz45Pz364
PJEm1fTx1Q9PnpxcXQUtGeH5t5Bbg13QShbnIBd4oKJpn2Y7ncZ3QZ1UkZbdxQLoiMoeztf9SRLE
qzmyITWDtblri3CxXiY8cYB8BGg1H2+FWFYzhOJkM4qmqchlKAXZSircMNWKUzVMLHI1d0fpzRzx
oliIKZloKRpQyx1N5vGKFevea3QU61mqrEpZ3El1eatKndUkY2CD8u1li5ArmjwM0UM2T1GZWW/C
TWm+kIh4tQHU0AZAOf11U0Yr6A7lTdWkps6NudyKTr2VivUrJfn9IGrdAp+bKxa8kM7Jn7GMvZvM
B/Ekkd2YdghpbvrT2cUTMnsS/jTkQjaGFqUiB3AtS3fO34h73djP9GXYoeFpQaDdPsmylY9Zmjk2
UvePMjDlOTGX+dtkaX27JnP/pVxINlLFU8HBu5wndqtb23ABai5HWy8abWYSfkbgTloi5GBfS/W6
G3LvJYcXviSrWyL/LmUrsm1ePx61VKUj2lrNFcpZgoqzFm2R48okcCOxXJXlzY48N9yEm1LM+M0Y
t1Dn1evZyTMyqadbrVCjY35n6Dbstbg53izJAGALr2d1yzkbbZOzDRmTK5uzN9mu5grZ9CUhS+M6
fiPE2LIUG0og91AWSXLHhiaA4uCwjqwcbb1twbemgk2UsbZow2dYFvp8P4rZilIqWIdFIWWG9Ey3
ds2Uq1f2t6mZsb+tGRv7s2lY7xcNu7MZnjTwwPXUNESQdaQ1X7eSlytFjZFEhrYZH9lFr8/CCXXW
RKXXfH0wXhWALXARhidOhkW14IwbHV3N23HjZ0OeMqzLCIEZB50D1Hx9f1VtY1TVNmTb9fERVmVw
4mO9Vs+wyrNqEh6+p60adRmDcAuD9881b5falg29rKWXrikfd9ZWZfpQdWUKhoyGnkPbe6suy6jl
s90kl5+PcqxIcQgAdmEgRg/takBVPltRSvz8GMJg83ELL64ZhAUjn8+GlSGgT4ll24BrQ8vBiRcr
nwXdliukVTkYOul146AuzQe15LPGll+vi/Cdeu/3IeG49+nX4D6VowiN8AUZRvISw03m1z+/OLkS
fmItOrMm3w6xjii77ONIecFcwPxTfQVC03/Vx1Qh7EN+8es6hrva2YeKwV+JL/LLUUpveGcf8gSU
8ZrNOlV5JixDA/s4Ut+NZ/MIvNNz/YIK9kamqCDRk/3880jFgkcWToYJ3EFP/5WR6AMLyg2V+EYX
mD6woMApaoLDPmQk9sSCBa0Pbg/lnzIef2RBXFMO10aVGBxKOKxG8grJ0egzXO0iDwT/PFKxHGpf
UA4XOocLhw4pho7ggBc5lfinsjhij2yqGMbDIUTE80/Z3Af81UC8kkyGPbIRfZPcEzz6r4xFHyg4
Whj+gF8ha7xYjacJErYPj7FwfkqH6hDpyAAp78OMC6LEazkAi/OlLyslVXHGB8q90VrkOn+piM0E
sxPmgrMPnCx7p2ozU4BGWeOYqij7lpFXuFs6iAj9888jlDd2ziDsGMHr8mDBN9CkZp0mZOwaQi6Y
/KvSwLOneHNNJQopTiLFadgOk3zCp0PCrnHoxqFd0yO5VgdIZM91rY25SsTpmo67hI0DZyV3lJFq
dR6t6ufN5xdPTxpZ5BlQg/8/++yc/E83EowLV2AYIV8pIsTZyeOwhazKbVS2BHVgXh3I9qJxfuCk
GEX/dwpTrMaRjhf2ChC/tyB22gWIVxZEngTJjvhUICKWk+mxtLwmifKimzTKa8GkUUIhsirh9r10
RftBF/Lb+XKY6VOxqG9Pr/nsmN94RhAyxyU+EU+TSTKQswZh7S4H0qbiVydnJ0+u85gNe4YivRj0
EBRaTvTsafSvk8uL+miYLhpk5ZqdCB62YKk7DOF8ZpxOibBRdDufxKvxhKpqZzAZHhGtLo7Iamqe
TnaCh8HOo8EOKHHYajTJj6fsRwinGndi8oM+bu2w846wOB6RzjGhRzLFE0j9HU3j9E0DYEMC+zkw
eQXqvwoYmy9bryhJuGlleb8DB3aCt69pmpQWvfAcT85kk//q5JrQbTINWITtr9JJ8CBsPmgxOadU
NJ0veHJydg0/G4zF5Q4cEqLrbXjYCB4QyufPngIWBRgMdpqZIJrFEd6enF168Lb8KLydXimaM45k
iRbH1rXUObOerKz21F8xKdrBEdyMMugHD/pcol+pRAy/mHViN74qIBLSA8iCtXc03t84rqQ2UzZM
29ri+IYwL7XFAii5zZ9+RxQafR/RkRhavXoHPUEiHdd8Oh7o6yGOeQ5Hjoi0YYss+b8O6gfBF1m7
MiYTMGJaAsmxrdDbePLSm/ArFmFOWSZyssCsjhHqhmk1n/VxVHMIz98FOX1zPuhYjKSLZFC85jBm
SdKaA5vawy2TuuVgyxTBgTpf59F24mVWGfni4pb0lQPtKAF5OONP3+HzekoMrtgt1D6iKDiKY7N0
VVk9/VSgAoNpDM7yyAd+L38gg9316fOTfx6f8SFP0glAO1WiLiXIm3WuFyI+NvHWxEeODWnDs7BA
qV3w0cpclPHeSG0s0uim9KWkV6pDHgD452upK1OAnh9f/S+DyskQ7X/zDcOTu8BGDT2YUqtxVXH0
gPSLEVTUS6xlS8y+OlI4Yd1qnQ7ddfrx1WNBig0U0PzZ4H4kaYUNtlen/zrJRl74oS4pc94yzWYH
1rlOM0EVnStDebKiAyZ7Bj1+M+BPZfh8eM3hyTMrvDzk5Rj0qRVHTK9yeHgSiEc1zM2q3pIGBiiS
Hc0IWpOrVtvlgVQl8BbbzUcRaKKJUhjJ3SBZrGwoanPVUOEp5EVy5A1ebEXUCrJWEZaHJGvdNi60
i4A0mqm45DFr4rLCaFaO0IhwNr0IlgXJfTqNB8t56pigGHD6suTnq+fHTy4vrqSViQCYxr/Ml/Vh
cgv9AswFyCyN/qIJB8Qh+bx5TMczHZ7+MAHjN6R7uK3TApoUjR6/r8vrQ/KEvm+wA+8NOCBvAFBU
Os1rh8ZFxYg3RuqZ+pM33MmUfZP7xeyh6m9VCQxmK4ZPv2jo9BnuJxulGXL+VUbPn9oIjMYTQUB8
VQmIpzkBSAzpdFl1DOno8jz/eoTIwPI0pzYgxgYHyn8I8++G9jMTos7MnbZlPBvOp9gpQTnlZirA
tJPaKZm0uFPCjmfsKHyC4uY3SFIY192RUrJ2AJ0k+v2VSrGk4+Cl6gWYUb1iOsVkpAc65KOu1Dfz
xWixWh6pj5bmI1qIdCyWUKSrFu3RMLnRnqTJQiOVzGiOSDGDlYYDzucySy4rMa71lXaFZuVo4wdb
Slru0spLRusSZ0fXuUQwMw4rSew6g/KW4gD10KBVHUnOfBU+S5etzwsAE2m5RsP1arYaXaNGvrC0
dj0qfgjY3QOTLxUsEWCIsz6K7tJ1f/yy88odJTApKCoDnG2hsKlvYb9ULyyvMsCXw2eJ5snUESkW
O18G0FYG4GXYu9VYkBmYkAnYjRV/ES/j6cv9V4YhcHPm9a92o7gqXnZeHdlfQwBfAcjA8Q76Fu21
HpQcZ+4ByfgF/3n3KktkttCR/YYhbupFXaxUeJIX7rQe64UyH4ZjRWGT7Sksq5sSKpt9ZJV586wo
bfpxlfbLn1Jpac612Tc2bUwxTpzXurAO06qNvMu0XSrlLNlSKO9mraWKjrZkHSCFah64aTyZzAcR
DPID9lVaGMkDwRcMUiRKDSLt3nZsw5ARVBJ5MFoDndZsmkz72h1MxWk2lAKU+QcrZpnwcsSdT+ZF
T9UEGC2TRKHqvAWmCNp0Q9ByY0c6uRxAcjwcn8EJ9iwf5J8u8sPYks2lxPJg6rXNoK0GKvtIGShP
WZsnqpUpNPhKeg/LAautpBU2bjdrJ5q3b56O7yLSOOIJ6RSEERErIo9UY6YA02S22rgVydLEfeiD
tGkuQmM2Z0HDGRUlCVByN+ZEaHbi0Xo2aHCiLlfnfBbhmLwnptmpmtmFbnC/hfoLzdKhyMfoy/TK
iamRi062Ro8tIm+SVTK7RaK242li6XMyH0cygCDoMhS0uxwpXu4yWY5nNy6M1FGSeUERaSbr7FTc
MllM4gGWVkWiTwbGMrLIqOwiLkDVF2yfBb2ePVuzFrk+fbMizS7XCfyaEPO2r4Pp9O5NWowGyaY9
IuglenBjWgHFA++Y/OmboadocoXfAyPWS6nsWuEXRMWz+WxMpgLQXcEFPrQei2v3s2Df2EK2CgZT
gEW8eu0++gMW6s5soE9N55NbxP+Rj7lPLp6/OL6Mnp1H12pcXZ0piEzootGMZmBXL6bMWwr7rcSs
KagB+z5OST8Jv7EO6Yt+Six/8FovhQYw60W5s3s452pNjTXxSxkMaCm/ptmIkpVYQBtjyKM4Ovb0
U9Ed3zl7YqoH1g0bniVKRFpkeFOqeWWam0gFKKUUjtxqUbL7bUxPR4xvs23C9TRZ5rchz+b6Tb5+
KmF0J5SwfICHUZeelC/CrixRqlSsUbbX4WwdtQKTpO/B7hHD+55kcEssPctzoYx4s+H4ZrxqIuve
YTJY4JuhJiysFJ3TgNHHZ+HGgwXRxyJOboXWr0ylav4QjCJqDzZBPaRSuRh9ElzceHLhoV3qbiTk
wP/wvo0F3cexbY1kA4G2xSfxPfoz8S0z/qvQ+IcxJEt8BS6Tj+J/Hf0J+Uem54Rt5GbVVJ6V2F23
/dX8LVnsi8tYVE4WbwfWyYv1fnafYt8OVvNpX1qcNQPBQcQuRMH3wznpaT8FtlMH34574itxrzJA
6IMAKb5XWly0g22ZAXz9r25vLqbxaoAvDxbkgbbyONjzXKSRZXe67s8XK+maOolV8oJMchbuHL+C
JS1cav6GTJHKZAemLXJhW8mxfcZkRRYEphbIQ3frYQ4quJx4kTk+5nCNjBvtZhnPVjnGSF9KKct+
ONTngFWHxcUqZctIG7TKPoOOljm8Ml5K5kR+GX2JWuELw1OGlAi3F87jYXx7Iw1Z/MnLV1m/mUwS
8z5m8Ed2HNdNlfLGxsub3KPbqXRzEichx75dPz2+/C76XoooPz6/Os2eR4F8TnWzwm5jcLEtV/Xb
5kT24jJY/q5+2yBvZRy4qDUHZg/k9wRXfU8e1GSAwXxxXx8204YKRh/Xh41mPVVP8vmiQGh8bzvV
8M/j6Oz06joKZJ8EfxhorgoBC4eoahrfcNtwROus63XLGbgIXTkVMgDFZC5Pz7+zZFOwbWKoj9mV
Z5/wzsZf6GYyUYPo3sc0mQ4W97l3R5nbpbbLyXUvlDwXWA4KJ0RZ0dP5rbTPRgs0aOsEi7cIqFBO
qYoEsAzVPGylmB2dG4jCzphJmygh64SVCAN+XkMvIaKrtoM3xFEiJ10xNPh6iRSK88715VmSXtgy
fltcnnfyGF2O5YcQhIetrpbU7JApsmp22Bx6aU/5m1GfOclbrNZdaKEN5qLFq/cq2gbkiz3g9qgU
IpjcvLIFWmgWmrZLNSm1lFmJYjZuxUIyNIHU9kQTiV9Wy7vRclraMquaJsy7zD3+fKZiKgHLTG1T
vZpIenO1QNmCPm7MmqwO37jGm2tZRUofrjGLKxXZgDRUnCpVfzm71csS0yTGeVxHL8TUC4YklHAv
pnw1M7iHHgEZ7iciMI3gyyA8yncok7fydeRmQAlzQx3lIGKiRHGhCgnRZiDA2AnrsGscvUHmz1yH
RL7mbGMJZ7mITXohdFkZQS/0sDgBf0mfvCJY//h36x9lhTfOysrCI8OJPCxLbrGS471Odlt00cH9
9XKGJZTdiHreWQzSBe7WNLvJX5LBqtLAkJfmW1g8gPOCVbrBTG+L/vLNhyqL/GcW9Tq+T1fx4I1Z
IqydJh4hV0rd6WWu5m8sflHXCDdMJmN9MxOPC6Il2M6pOEcLd+EOVMwrmca3iREMiejCyml1hrzZ
QeetafIhrAJb38rBNmLpkRebdefikf2wk06EcSiPt/QBdMiVbFnQhSjFCg4BhEO/uZyusUqFV3VH
YN0ivrW0Ub8+w2nqM6ZpfFe++kxzT5bLeeYcJz9ma8MtjaJEGlIZr7oWUxn1f0uWc8XjYa0CGbEP
7lVkrQ51qDqJfBxM/kxI64X+h/S1iDO2w+RuK5MKNY5ue3SVzftRFp81LhFVpZGYKNFIE29CaLyR
oDkxY40mHus3O6N88Hhf/gHDQVCurOrmZ5OyxCrZd4k6LzuR15SxFZbktbXJ36Ydbpos8C1j1sPb
towLZ4b2wB8CeJss0/dtl7mE4xuaNZ5HyY9vHI5CEHuxVS+oxs12iaPsV3KzVvVm6eJ9VB/vaHnv
PkCgz9dGy3nfb6DXS4M4Yjx8HCLLzRDyzr7LuUIP/vjseN6z9F19x1EtBUZPJH/6/ORby4GtLDXb
1jOwmZd/yiy2Zf9KdtYqzVP49LOT3FJGZ+vh6+l4Mhmvpux9/hhwfpvPEv35MF1B9Eh2GFsZ6QEp
OyNLWYEKpl/WI7ALqLeeR72pGmzr3l8kIR3UFK8o8xjaf3epP+4utd6URf3xPWqv3Hx4PljEEiCl
mmwOigU8Obt48r9X0YuTy+jq5EkQtugfSN71pE8pRJcnx2dQRtDSaEcvLi+enFxdRU9e/ECZOH1K
LFyDuf6e4D+VQeS0kfDsMjr+9ooWEAJvti6EpfwLHQ0k7xmm9O4Q2ranIuMg/zUdz6Rfr+frpfxy
GN/LP+cy7H0Sy7BvVdh79ec4Jb0HdBpy7sdpdDNdzUcjgFOHBvKK9UDw9y6PDuQCjWnCdyXNZKrl
MRuv2CU4t/HkyAZAg++y7owDkF4yuU14onHjQIGs3WyUk7PyOzI0SV1yUOc/eB+5RBFEppbxaKQg
MRwy/VN+t0ougFSupm/UHnxKWbNGJuY+D85aQcTpNL6znhcqmteM5stp7DEbU1iXozKtUuR+ayaE
M3y2wtbmaLpqBrpGLZGvuGLlLcWqqt1IuT7q3fRScLUaCu4WrugGx6qi0tpWm+JKJElnpliRs4kj
+LTEMiTsTERLjIaW2LHgaJZ3c3JIsg0+yrCimVScDlR9Ons39QRsuYrAC5bFr9J8EDs2DgqZXG+m
dJ8yjaX06jdYxr1sv1JOocAFPveT8c3rlXlyk3GRD/IKQYmcthJd/ZZF2NnD0u2lqmWqnhZLfb99
jZxSke7pSCdJvKjDZAgSerLPB0E3ePQoaAWffy49IzPO4O/w9I8/ghyQPARQlri9ZZ/NmZOIm2nB
cG2i0Ibph0UVeQ8ji3AHMZZLnHmVKM3i2ZxoKlmYDULJPPvrmpgdXxAXJNRREafxeGYmQZA4YLO0
m2RFDJuMqdm9RBG/MGmcJ0bUkuFa1ZOR5FMgX5oOjTO81E3SoUF8fmEUIFUHXgQ/cUGW+67xNjBn
B2pt+o0wakUWq3uwWHOug/qCs74ArnNZvsiFcbhX2b1Rg2XCMpBimrALoK0XtD4zuXVNL8SNVki/
bFk85OwOk0my4ouBZeSPlxmVgehd3Vpl58swTRB2ztDlpi8gMKcUCgS6cQiEFsCIOhOZZJTnt8ly
uZ4VqBm8JvqpM6PL5keLhpCClBC1T90YjG0DWSv30O5bRMpFgiKM/Yui/lafuZCvZGag9WXg5tv3
cPORRcdrycOjp0QWryXnzvPj6+9tF3ta3Eiv1zcJ1Lp0mAq95kGGy0v8/ofvTiK4zEGL3Gvdhbut
RbvV3Ycxe6+wZJPiMwvJvb1RwwC2lN9p7/f2zxrYSRChPLePjYwBUgXofjoZJBfg/PjciGOsr2fk
W/B77mEmKyZ1dpBfUVXPr8hi95/DJBECCwMIh5w8JMLtjwbUM/fDGXm8S15TGfVWpspoERGAVO+s
riodzLA3+vH05Jl2KaF8rprKQXO8YG/Zh3bFy+n5s9Pz0+ufc4uQXj57EZ2eXXz3bSuof9UOu/vd
g06vux98FYQNA4ZWiAkVdG3tLc8wLk1iQcYnxNLqkMQLTr820/VoNL5rxssbejCOKeEJmOJzLlBT
hw0osE4WsOqgFwNepx2FDC7ACR9hoJDM5/zJ8TUxq4x+Q2cIEfQnVNImM1mZqZ8KJSb/MixM8p/s
oiOFFWhAn3FzAlUVYyFn6Eumi9ehWGcQCI4Tvbg8eXJ+/PxE13ODlk2grr+/vPhRLktoWdw+rjKR
E6QJoZaNXEL+wKT07cl3p+cRIF29OH4CV7ZoT+Doq4l2cv5UQVJ+MxR7bwPZM6XLKfb0QdoElHb0
eI8RD+apdABZSml0FKiQEEdrhTXIpuOZN1k7rEF2FfuTtcNiZNsS7H0z8C/DB9FQewmt+yu9hM79
VV5C4y6FYxp4XUIFNlhEB95kHbCIFrzJOmBlPbB8C6StqvWbWdAXlEHlNwHFSubhkRvRUh2LUufg
LbYLGOse/AmXqKe4TEW5gGuoQpK7hS9xO6hBdbTUgLPUN+T5fJbMVq6CSmEbZU+GKLZf0WWQzZLn
N766tINiVMNWCbpWYIMyWVOMbI1rrB4YMAoqgYtbnb9MLmCd8GL+1p+wC9jSVqZhCa6twGgde7dD
FzBGuV+CsA3W1ne0S6jDBovx7E3XAVvDe7wFvEUMl8x1CozFA80oLf11ufKVxQGLCfL6fjFfVRHF
FxFV36DvL5AD1lI5g2Q8wTH09ZayYWKWXI2OOZDRBKab81ORjsnPZD5fboWhioRMjshIUMUIPfH0
PQfYMhzP5KFH83V7cs9d9nB9TlKdmEpve5xtypcWAbWE43Xlq8gTz2zF4Mgcj8YDeimX78qlCAXt
LuaL+5ReH1DEZcnuYzt00S5uFiOH3FbxTb8qs5sSNOwY2thMWfmWbRZKo9iIlCrsL9l0zWVLKJRO
KfSihEHplGZ0h1+Yh5OcFVSjee8lJwqlU/KSE4XSKfnLaQfF55HLkQ+TOJhJa+BJDIPTZ6I38XQa
+9CzQqISr7zpWiExst5USzHLRMsTEWerceghybtFsV78kPEp4RIQPEcRB6zZD5Of8Yg82fbgsS3C
GMOr+dt4qc2b1CTFG7G9PfJIPdIgo6GPWpCKLYGMzEcG8aSvDeY8G6lzTuKFpo93HituPsgWrbcR
ISYzpHJ8RfFERqYsSbzs35doh0UIiHXM1/6TRRcw0tku17MBDl2uhVQlhHVqyfTX9dxmzFknSWAK
WkV5KmonK90yW1y/8oFxV1crg0uXgfiWoJxLd3fpiBgehqTI4bIlmyC+ZaiSlLLa0XBcadHmiYes
4+O7aut4LzykvLHH8gorzwvPWNKMFoNJnKbj0b19MVLjYXr+DgSYxfTHxi0gJUmaVWFv09n33wpq
pSQJ24hjIVM82ngg0jvKHJE24kykiC0wHmgRCcZ7JfggP2KphERAxJ0tPEqOZ2JxSixcCQu8EBB6
AIgZe0FPc3/22Yj8vwStVwi9eHJ4WDb0gqK8p9ALFosG+6VkiSYC07BeUbxzgOpEmVPNi6gdVCe6
ir2J2kERom0JlLQ03wI80HRl++vaW9X+mvZWtL+eXWpGZH/tL7wN1JTel6gD1JTfl6gDVNaAFGQh
QwujyeIisp8+IRaVKKkTybwL8BXYBYt0At5k/WsnLlE9LtgaporkbuFJ2g6p06SREWplFcdVCOBS
yHrJNDDCRPYquAyuUe78xlOLdkiEZtjyp2qF1elCTISlJVnCKQSoPyZqZ97SuGA1sjQ4wpOsCxZv
GdPQn2MrLFavvm3OBYvQ7fuTtYFa+oi2vyJsoAi/vlQdoDW0VyNVjRkqvmiT7KMYSS8JoiF8x2M7
KCICDX8oL4QnGqY0iIPwna/YQfEKgUgHHMG56jTKrUbGGKDivmWyWYqbimQMbiDIYRvsVKRj8MOi
5koanh+WbBlSoISEuHmgRHVimo98a5xtypeiaoh3KF89flhGu5UCHrxXHUUYWPfAIxkKOSzXW2yF
KtadzegycAvhEYKZjQka1svDIzZoDEpT2IiUIuwv2RzMYUUokEYn9KGDAWl0QDAaB1BIzAqpUrz3
kRAF0uj4SIgCaXS8JbRDovPC5ciDQRzKoDTwI4WBafNKupfvQc0KiMm68qVqBUSI+tIswyiXCmIZ
6AOfOAhNI1646DQPtsE8xwkHqNHbJjxUYbvDw5bIIsyyAAWV7GbxDzLP26Nu1p8IYCg/wSiBas4y
aAgD5nvBNnCymYYXlj6SeSyTpcAHb2cvD11AasVTEE9ccyoighg8210RvGkTsCHs26gdsGaXCoEK
W1j3VKWDdF80UsFiwAXhDlI7KE1D7UrVYIcCzevBDjbly+BasINPCUawQ3Ela8EOZeRwWZFNEN8y
zGAHX3uFmIUK62IvLHMNHt9VWYP7YJlljYuXSEhZPljGoiQPcLAvJyoHOGxI0qgCaysWX7HoBqky
SuFbxhScRuFwUowGqcv1hDAfPqyB/eVBAtA8IxGsIM1q8FgGGdo7omHy14lokKd9sFEp7kwpjvnK
IArR8MLS8axKYUVoeGGruFJhRWjWwtoG2r0+xfYrviQhvGKr1Wulaq1Wq5UqtVqdFlepVYevqynR
jWbTYpXCCtFseqxSWCGarEkpmsPEUQ06i8fQHvrEd2yJNjKblrrIKsoqxrN2kpWKq2YJcUVTKMar
2VWa3C0qFFmEhZdFQ0MwIymOLlFRKhDCOaIxIzZCJRgqT8fCz/ymQm0UYVnLClvVSivAw8uD/UWP
HsISw6KiVaPlaAOVNFGMhxZH41gqFFeM52rl07CahAV4dtuq0q8U41nL61crzo3m7DfNyaGXQt1o
VvmqlFaIVnOMDMTcipoY7mEwrLYcGZwbCL6pMicrQrOKTwNxtqGACoTslQKBO1XmwUVoLkOAoB0X
stMtY+FnE5KWyUXcdy6YKnC5EUkLlxDjs202N6Jp4ZOMsNsw/vJ0ZCuUIowMIpvHGW1KUtuY2jKX
2+ERqRSIJNpG1ZanY+lfpIijSqtuP2x798ajjErJUqXP23o59i57Rt0sW4hvUhnbmKzRaniU08ZN
UWmIWyCIiP+LNvcutEwHAko/LEvfjoDSn014bFCpQgqwsJLuy2rKgYDSL6spBwJKv5KmirAca4nl
qKRALgxLCYPyRdhR0DUKDT4qWUoBkl1nqyqlFSBZC6tSVlXBuEYghkt67BMFhmq2BB3HEgAiBiqM
zYVoltEr4YFd73tIfg8FWQViUV8fQqJtl2SzCREwto3JZEVithkljSyz+2Ox3XdtVlmCgj7/8HZG
SXFqlTbFeNyZVWWlhC1FxzbtFLFpFfoKP1ybLUIcUJUOqhDPNvxAzNqW1/Gb0bR23TSezaNZFcTH
Ge11I6rIUJNFzPnXoxQ3565EGSkvrGRpcpEeZaLilbNTOZ6umoDlylMlrNo2IGJuK76j0nRsvqz4
bju+rLJ0bPxg8RZV+ClLx1h859F8RQvmyjF9WyFsqVav/kd9gEX8GdW8IV33eF1I23fALkUIQthC
/V69jxMuqLxiF1eZz9QncB2Y7jriKxgqmTW/U6eWzNZTYmO/Uzt79oKweN6Ub2iDy9nYh4Dg976d
KGDiofxdIPzr5PJCAYYH4lMAXf3w7fnF5fPjMwUye6r8yHhlv2RuM+AM8p0YTAVY3qjrpLeuw+3A
EM9Ovj96FIhf/CjS/wRaSC+BehjgKGIRq+JwFK0vuaNXJYeH+lXJZsor3k34sZrHCXvymWVO40zm
nRLjsN2yhdDmHI5T5ov31KY4K+yrSZ6EXWhRuP2BP61ix+lsviS9E2VEqwFCPTMKDDGe+bEvTop6
cs/zbnPmheuV67ZTXPt018SXM3ac25uzcSZHvoeEaJV2UCeXl+cXQWg8PPnpycmL66DNUMTVkbRP
gR4lOj05OYmCR8FXIVzMGl398/RpRL/9dPHi5Jx9fXFxdfoT+3p6dfEkqr0LorPTb6N/nlxenV6c
R9c/vzhRxgzjrfIEOrz2vv0uVn4TLMQaDJIFXOsHpEUPCD0niHFEfzEXPsRVs9986IiXN6H+oK08
WCYrMo4fie5H6paBkWS5zO4vl/hgoVkDfaQUOv8puj67uLoKwt1u2D3o7u/ttbqtvd7BAb1pNPky
7EnATy+eH5+eSzV2dXr+HVxiy39eEG09O7v4UbK1H86f8mfd7BkrcS/7/YL+lguCyz+Dzm631T5o
d7r7yZedg2dw12lYnM3veXQStHf3w4P2Afzf3Ttsdffanb2uBHF28V37BETutnuHIPDBwcFhr9Nt
7WtQYeskaO12O932Ybd7EB62Ou09QnW/tyfDnbcJUO+wE3ZJsa29vcPD7l6nddhtK0BkItDe7bTa
ewd7rcM2gSF89Q6IiBLUi1MiddgN9w7bvb3O3sHh/mGn3Tno9hSYqE1439tv7ROe2739wy5hvhce
tjsqVJdwtX+w1zk8CHudzuE+kYBw1ZPLC6HE1i7RK3lzcNAjn/uHrd5+qKirzaB6HShlf7/d6e3v
HYSdbqd1oEBd/d/lNYEMd8M20Al7+63Dvb2wvbffOWxJkADXZhbXDjt7PdJnkeJJPRCr08DCCHRL
RA0JVwdheNDbIzba7nZbeocSnUzQeu/0iBHtk5rp7LV7vfbemW4HE9QQOqQW293eQdhqhQeH7faZ
YRgTi2WERPpDgkPmR6298Ew1lAluKSFRajtsh12i1/1e70wznAluOeH+4SFBIVx2O72uwuKL04nF
ktq9bqdz0GnvE3nbh2eaYU0slhUS9npEJGJGe2FXw+pOcEsL94gKDkCmw4P9vf0zzfAmuOV19veJ
fZHSu3tQc2eaIU5wSyQdV2evtdfpHrZae/vdM8QwJ6hlHgCfB6T+iPr3iMWc6YY6sVhqSDrJ/XaX
TGZ6RG4dLYxoXWOWS1RC6qsdEiqE2zPo13pte79mPwVDVqKkQOkOZ31CjkBKaU/ZKuH0/Oz0/ARG
awoD3OjDnJPMOL1ZJjEZiep3zXvwlvXX48lqPIuyF2QC0AzuGyZG8usa5lUWNPrWxJ0kaWriwFMc
1lJI9grHssokvTQx12SqOCScD0287FWGFYRtfaqGKlrUDAz0NezUnuQdYvMj5RZycQd5dsLuSLjA
jwIyJ4rWZCIFN4yPYMZ2BzOLACYaa5gSRetdAhd8E7SOau8sjOBZrx2MZODDjJOX7VcqM0MrMy/D
V25+XM4zB1faPl7OWkdjbWKyVhe8tV8FnwetO5g7NYK/P2JswkrZerk63jDZ0wgA5gt6UXRzvmjo
L6L84g0KEuAwPClFdis0hR01bODKvqWKNGFI8rCr4Z+/sHJ7/sKHXwpVhmOK4MEzqYV9fdVZphYi
xlWUXfaN1sgwGUyEAFF+Yzmw0Ax2WjtgKnQ1ZNWffzm5qpwl2SuLUhH11VzEy3ia7u7uWqXSK68Z
MBy3GvB6LMQtrNKMQpGEuU0WyYiaqJvTInv1wC4hKbhOPGYDdiOmykUsTNWMPC/IYalGZIsDUHpZ
/VFZ+/Suua3xysYBzi/px5fJzTiFMVwBWSbperICceJ0Cl7z+SRejSfUOz5fBA+DnUcr2rIYIHg5
uChH+TAliEDPT6aUlatrMB8mzAzi5U0TfjVMAMNgATawA1tNtQCvwEhzbGudwlvRFB0CIW3QxZq7
/RVibkesdiZVCP+0bbK1MdFC+m/byme7QEAf/GIxVSoFlegrL4GsIjFD20RmRmGrUnd0mck/HZvg
HafYFNPGesdX9EIqJcSXaBVUfSk1EPDqimDIm6uC0amoDNKD71Wfu9O+0xjB5M5vw5GW92PIKOvd
IW+FPyhOHl0BHQbAmn36ybomrHCtT/FkoRn4qquNTktK94Fb5J0Xrj5oWxVq76NcPCkNtYJS/RXc
sRhkle5m2xLhqtYfdDDdk77g0Gvynfkl8tCB/LphOczACah6LuiUlU8w72D3rbXbCv6H/vuQLvWC
x/xRSB99RT4azHHBy8gSHeWpfVFeELhts6LFVeinc1C2CnC2wyKp425bj9co6O9pxpoIjCRfVCCx
N/iiYme0APwdaWnBI3Ue5ot4sp5f06/39HG6qoeNHXnFQVFY36CbFOVOMin5ijBdYR+RecRS/e5O
+qQYlxkon8joExClZmluf05hzNYAB2M9bu6txHv48G+jxTKZ/nv2b8L6zmiWrtK3f3vwIL7jT9L4
9Yh//WXxt7BfSsz4boc8GQy8mo7XrQJ/YinVgMSSZ53/dHLDoNStNPGAPAyO6QRXghRebvd+7YyA
2A7qAsu9zZgXTDdO+4UuhlvuA/CkRIoWpK2wW8774dLWG39yfCIdbdxPiyeyYneUQQOYIjXvzOz3
xVhIjRBaSpdRlGHCQndSQNcjd0UxZdLYe+W2haUJx9Ya+2QYHgXmaIxYBD4GW1u//crN8q3/PTCp
z+DeRzPbGts1awdxM3Mc1vZGMsT12Tm/mwyPyCvYjE+GfBP9Lt9Fn/FddAIm9tHh6S4Far8ib+vy
z3w3/Q/yrTMajSTwEMDZe/iT3rToG0ln9DlwRhvYoTVdrKuB0YwvxS3MMqcQNpDrJn09J8Mz09Dg
rQ/MarowjQpMisxGBm+DBy1mT1NqPoO3DVrZFI3plcCAQkdEj0yhrS5Tm0lxMswIEpKCIqHEiJoI
y9mQsOme9VhQ8bIaXjNdx+1d/62TD10nyiBbmB/pv/XzYeoH8mO3vDYx9B4PEob9xTq8gz9Z5ekd
nuMux/9Wycfs7wqT6/23ej5cd1c26oZmEq7uw4eToYmXw0edk4P7x+LH1/viGmVR9V2yOpdcWzS8
9aMLwGJe9zr6UZ2iYHTnsZAz08dA09ZWHJ7G1EcgLb2Dx4/oXtBXQWt3L/jCxkVDkCCthSWABqQv
A7Z6TyZpYtHwZDiZtYXz8G7wWny9n7TvFqFb9eX2TRy3X/9nqkWWtDDV8X+SiqCV+kW3GL4myLVf
tundE8kj1d0l4udFtQDQFxT0a/jBHZ350y9B0438g/Z+8Io7L/gIYnqdgN+ybeKj8Ks4oIpuNPgk
eMe3neHuhyIHMGsG4AQC6hkDd6Qp0TK/UJ8yTtDqhdKKfMRbKE2pnKLbLbZQsmU/f4st7yvWZwmb
+KrOap7W9dd5F0VGeb3qLb7dLbayLfGmu3S33qI24hNtPTR5uec+Ne/TJfuBQpip8aaM1RUtwm+P
uHQJsuLK52EvUyY6KexXnBNa3v6ynr2xzZvvVst4sGIjcj4OAwbMlx+t7Yscn2mc5R7VP40g2sTL
mW7vExcKpkoH5aZKtObYsg27bfeTXLahG0q1gnt2Pk1J9FBZmjuOLfEpBSmL3TJJOV+EGZ0zIgqR
XfWbCCzK30qZaysTbQGnrehF+TXHnbBUkx+cUeVUrcqm45jvp8Rm4enfj8JsllYrt0LFNnXjlJn0
5NJg05tPl5XmyvWy1Y/Ct2kNGtdFpvtpcu1nyR+N99ykZZtGp7NwZ0W5qEvr4M/d3JN5vw+5FAqC
9ULhKykfrAcThM9j5mcWpbki+DwjM0EVpSIz/4KakK269HUmf0ndkNllz0im6JMLRKSxs/YReYIK
KXKHJf+kf3X4K0zMQbQuUnK8a/AkHBIR8vcHi8MZwd+aOo0awePHQSeETKJUvgOvoLasV8lPVdD0
OHrAjpJDM+i2be87tPCDYGd39+tVkq52B4vFDiSWywffNRG1183309S+WD6bBGDq2xqvDflqllOA
u55frUi3eFPHyQbExBl0fz0aJcsGTROXLugYW2fPmjsP7naacLdF465B08DxymSv6RMyz5WLHs3n
L189+n1nB9LDcdb68/kkSFfLdN2vM6jV3aqpcPwmuVcfENh0NV6tVwljjD5lxb5s7/Ve0bIJzcHi
vk6pcSlkLlfLdcJ5xAa54Iqo5QRschj2rFpixYPL/e5zHgjG7e4ueET+B7N7Jv1BGNgPZ2e0XHCp
K8Cwr9mS/gBBAHOm74RWazTNY7BYwImw32uL5XyVDFbJ8CG8t3AbL5fx/ctOm6nHArSYk3+h9moL
0tjGA0qQ1tHVKlnUn52enZAaIuvWBG7RpJQYE3WmC/I3gig0mvP+UYs01G86bfLvl1828hbJOBmz
ILia/IyGzIXi2TsHo5dJPHyeTOfLe1vtxEPSe6dpxhfXYeuuG4at9rDVYp9KYTRvIUtYOJ7VmdZu
BqIxkO+3L19RQX7PJScfRzX2c5cqKYpm68mkkdVVrUYVyKAfPsQUmZG0yDIk/U0zuCX/8+jKGs/a
OFYrE+Da6qP5AnopdswR8i02g99+C+GfNvzTIavk6TQZjuMVaw6UVZD+52T1aBQTIz2iiSIpaVI5
kt5bTEQwf242n3dFLVNGCDh86uYuv3v8mJgHpc/4hF1++v7x43avQdtEZ0QJEK7llyF7GYqXbell
2NNeduSXKqZQiwTRUsrN1COR6DIIGE141bOeceffM8rmgyFVMPmEwsnHThOUDjonv5na0rfj1eA1
5O1gB02ZboSxDuI0CVoPf88bjYAXDEvtScKTse/aTx+qw6DMKGtwhK1Xjx7cNQPxsw0/eb+eg6i/
269Ern6NugDoQDPOscl4m6Me6UjMoh9JyEcG4ZxtDv2ATII4lzww2aAb9+fLVV17/q4mfZV13e1J
uroFS1dGgMwKGpIwoSyM2T5uY7lwUX+38ef7Day6HgoSWbsI+sskfnNkwu4rsN980+6isJKwXG15
NegCAqFG3hfiw6po7rx/0I1WmyAEO//vQbrThFEfdJVRV2cgrGuTR2jBuZgctkRX+v8B84FGl7IC
AgA=


^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: optimization/10429: With optimization the addition of 0+1=2.
@ 2003-04-18  7:06 ebotcazou
  0 siblings, 0 replies; 2+ messages in thread
From: ebotcazou @ 2003-04-18  7:06 UTC (permalink / raw)
  To: gcc-bugs, gcc-prs, karenpcarlson, nobody

Synopsis: With optimization the addition of 0+1=2.

State-Changed-From-To: open->closed
State-Changed-By: ebotcazou
State-Changed-When: Fri Apr 18 07:06:19 2003
State-Changed-Why:
    Fixed in GCC 3.2.1, GCC 3.2.2, GCC 3.2.3pre and GCC 3.3pre.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=10429


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2003-04-18  7:06 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-04-17 23:26 optimization/10429: With optimization the addition of 0+1=2 karenpcarlson
2003-04-18  7:06 ebotcazou

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 read-only IMAP folder(s) and NNTP newsgroup(s).