From 2a0ce5da6e2839e21345f9cff3327038e40408db Mon Sep 17 00:00:00 2001
From: wisberg <wisberg>
Date: Thu, 1 May 2003 11:13:25 +0000
Subject: [PATCH] updated tests for [method|execution] binary join point
 detection. added narrower knownLimitation test

---
 tests/ajcTests.xml                            | 131 ++++++++++++++++++
 tests/ajcTestsFailing.xml                     |  21 +++
 .../new/binaryWarnings/injars/app-ajc-1.1.jar | Bin 1143 -> 1180 bytes
 .../binaryWarnings/injars/app-javac-1.4.jar   | Bin 1208 -> 1275 bytes
 .../injars/appStartLines-ajc-1.1.jar          | Bin 0 -> 554 bytes
 .../injars/appStartLines-javac-1.4.jar        | Bin 0 -> 692 bytes
 tests/new/binaryWarnings/readme.txt           |   4 +
 tests/new/binaryWarnings/src/app/Main.java    |   4 +-
 .../src/app/MainExecStartLines.java           |  28 ++++
 .../src/aspects/MainExecStartLinesErrors.java |  16 +++
 10 files changed, 202 insertions(+), 2 deletions(-)
 create mode 100644 tests/new/binaryWarnings/injars/appStartLines-ajc-1.1.jar
 create mode 100644 tests/new/binaryWarnings/injars/appStartLines-javac-1.4.jar
 create mode 100644 tests/new/binaryWarnings/src/app/MainExecStartLines.java
 create mode 100644 tests/new/binaryWarnings/src/aspects/MainExecStartLinesErrors.java

diff --git a/tests/ajcTests.xml b/tests/ajcTests.xml
index 8553355a5..8c4c21639 100644
--- a/tests/ajcTests.xml
+++ b/tests/ajcTests.xml
@@ -5913,4 +5913,135 @@
         <compile files="ClassForName.java"/>
         <run class="ClassForName"/>
     </ajc-test>
+
+    <ajc-test dir="new/binaryWarnings/src" pr="37020"
+   	 title="declare warnings on main">
+        <compile files="aspects/MainWarnings.java,app/Main.java">
+        	<message kind="warning" file="app/Main.java"
+        	  line="6" text="set(String Main.staticString)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="8" text="set(String Main.s)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="12" text="get(String Main.staticString)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="14" text="set(String Main.staticString)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="16" text="call(Main.new())"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="19" text="call(void Main.go(String))"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="23" text="execution(Main.new())"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="26" text="execution(void Main.go(String))"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="29" text="get(String Main.s)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="31" text="set(String Main.s)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="33" text="handler(RuntimeException)"/>        	  
+        	<message kind="warning" file="app/Main.java"
+        	  line="35" text="withincode(void Main.go(String))"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="42" text="withincode(void Main.stop())"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="50" text="preinitialization(app.C.new())"/>
+        </compile>
+        
+        <run class="app.Main"/>
+    </ajc-test>
+
+    <ajc-test dir="new/binaryWarnings/src"  pr="37020"
+   	title="declare warnings on binary javac 1.4 classes">
+        <compile files="aspects/MainWarnings.java,../injars/app-javac-1.4.jar">
+        	<message kind="warning" file="app/Main.java"
+        	  line="6" text="set(String Main.staticString)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="8" text="set(String Main.s)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="12" text="get(String Main.staticString)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="14" text="set(String Main.staticString)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="16" text="call(Main.new())"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="19" text="call(void Main.go(String))"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="23" text="execution(Main.new())"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="26" text="execution(void Main.go(String))"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="29" text="get(String Main.s)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="31" text="set(String Main.s)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="33" text="handler(RuntimeException)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="35" text="withincode(void Main.go(String))"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="42" text="withincode(void Main.stop())"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="50" text="preinitialization(app.C.new())"/>
+        </compile>
+        <run class="app.Main"/>
+    </ajc-test>
+   <ajc-test dir="new/binaryWarnings/src" pr="37023"
+   	title="declare warnings on binary ajc 1.1 classes">
+        <compile files="aspects/MainWarnings.java,../injars/app-ajc-1.1.jar">
+        	<message kind="warning" file="app/Main.java"
+        	  line="6" text="set(String Main.staticString)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="8" text="set(String Main.s)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="12" text="get(String Main.staticString)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="14" text="set(String Main.staticString)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="16" text="call(Main.new())"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="19" text="call(void Main.go(String))"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="23" text="execution(Main.new())"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="26" text="execution(void Main.go(String))"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="29" text="get(String Main.s)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="31" text="set(String Main.s)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="33" text="handler(RuntimeException)"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="35" text="withincode(void Main.go(String))"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="42" text="withincode(void Main.stop())"/>
+        	<message kind="warning" file="app/Main.java"
+        	  line="50" text="preinitialization(app.C.new())"/>
+        	  
+        </compile>
+        <run class="app.Main"/>
+    </ajc-test>
+
+   <ajc-test dir="new/binaryWarnings/src" pr="37020"
+   	keywords="knownLimitation"
+   	comment="source loc of binary jp depends on first code, not block start"
+   	title="declare error on handler/method execution with no code on binary ajc 1.1 classes">
+        <compile files="aspects/MainExecStartLinesErrors.java,../injars/appStartLines-ajc-1.1.jar">
+        	<message kind="error" file="app/MainExecStartLines.java"
+        	  line="6" text="execution(void MainExecStartLines.main(String[]))"/>
+        	<message kind="error" file="app/MainExecStartLines.java"
+        	  line="17" text="handler(RuntimeException)"/>        	  
+        </compile>
+    </ajc-test>
+
+   <ajc-test dir="new/binaryWarnings/src" pr="37020"
+   	keywords="knownLimitation"
+   	comment="source loc of binary jp depends on first code, not block start; XXX need javac inlining example"
+   	title="declare error on handler/method execution with no code on binary javac 1.4 classes">
+        <compile files="aspects/MainExecStartLinesErrors.java,../injars/appStartLines-javac-1.4.jar">
+        	<message kind="error" file="app/MainExecStartLines.java"
+        	  line="6" text="execution(void MainExecStartLines.main(String[]))"/>
+        	<message kind="error" file="app/MainExecStartLines.java"
+        	  line="17" text="handler(RuntimeException)"/>        	  
+        </compile>
+    </ajc-test>
+
 </suite>
diff --git a/tests/ajcTestsFailing.xml b/tests/ajcTestsFailing.xml
index 711108e0a..2b914897e 100644
--- a/tests/ajcTestsFailing.xml
+++ b/tests/ajcTestsFailing.xml
@@ -118,5 +118,26 @@
         <run class="app.Main"/>
     </ajc-test>
 
+   <ajc-test dir="new/binaryWarnings/src" pr="37020"
+   	keywords="knownLimitation"
+   	title="declare error on handler/method execution with no code on binary ajc 1.1 classes">
+        <compile files="aspects/MainExecStartLinesErrors.java,../injars/appStartLines-ajc-1.1.jar">
+        	<message kind="error" file="app/MainExecStartLines.java"
+        	  line="6" text="execution(void MainExecStartLines.main(String[]))"/>
+        	<message kind="error" file="app/MainExecStartLines.java"
+        	  line="17" text="handler(RuntimeException)"/>        	  
+        </compile>
+    </ajc-test>
+
+   <ajc-test dir="new/binaryWarnings/src" pr="37020"
+   	keywords="knownLimitation"
+   	title="declare error on handler/method execution with no code on binary javac 1.4 classes">
+        <compile files="aspects/MainExecStartLinesErrors.java,../injars/appStartLines-javac-1.4.jar">
+        	<message kind="error" file="app/MainExecStartLines.java"
+        	  line="6" text="execution(void MainExecStartLines.main(String[]))"/>
+        	<message kind="error" file="app/MainExecStartLines.java"
+        	  line="17" text="handler(RuntimeException)"/>        	  
+        </compile>
+    </ajc-test>
 
 </suite>
diff --git a/tests/new/binaryWarnings/injars/app-ajc-1.1.jar b/tests/new/binaryWarnings/injars/app-ajc-1.1.jar
index c05b4224703bd87906bc275112d32ddceb7fc2ed..020b5d00e37952d9abe8eaf50af8f9e8b0c5d5ad 100644
GIT binary patch
delta 931
zcmey)F^7{kz?+#xgn<JH17#OZW@LWLjl`eGt56?u+fO)9BzC#(nJqlx+#)WGMS`aS
zqFnP%xw1NXcBv#O99h1QC)MM2<}J-%jQ^TC*V}#UnVzKbkok}7{i~&ETpV9i=1#tu
z{=W3)Z=d?VKP%bnk8RLeAl2$rbaulht`>*WjfEL1o89at$K1CxxZKCIzagxM=eSqC
zg{$^_L5}71dYkv$Sks^(n5{Q=>!)d(6(02W=5Vo0dlMVHAn*Q}v|LeMsaFB=E&RPq
zXEn9+_h~&ZJM&07Sv}h;#yU5}ymyi6{nZB@`fjl(ZQO1isp|Tqs$}Dy?df8oTjB~I
z&(+Kj58&&~xfyd`SfXp`y5DnUcX}>f$UIlkr677i-MXv|w)J7&{cYAeq@AR9ofNK3
z7vH?QR;w!VxY_KVv5ggLcS$RrXPNo?g8oCc8!^Z2<Q<~dEIU;#F=^-FAQyupdi@+f
zjJCA}t~}Xpu{%@5SSBR9H|^5}!(!IPfLDLKPHc?&v$jp3;9$|RE>GSr^COv&oAL$E
zPxn|+p(CI(wcIOo;@ge&S7&KGH_)#>Dfa78pr}7*P|=&FHdp^IlN_$6-h5qjZ)4H3
zPrtWB7U<00UNV!*{7sQz?z)IiO)N_<wX8|lTqD9|7g~8yVfv$Yr9CS+nzq(l-g!Dy
z{@T7pFK?{Pcouxg_|zMQs5=@F#oQ0G?yA?B2-QF1o)xq_<F?%2#&yD9S{B!f@`MQ}
z-_WeNt$yM9A8z-Ip4WFDi}uuh=+685=JWmg(|v5Oux7YqJBjc7b<(gWOl61v;=8HW
zZS{^#y2Cu<Ky8-rncjfQ%u2kQl4ST-auq!Zo%-2k;y<Y`!agq^u6#dZr%GPYWNVJ)
zMmsO7UfNS)qqHJsk6!4C{xg$*UVa!^&sy)l?MwcQ$jeJVS6uyRY$gBo&gADDXQQ95
z6t%He>v58|3S0N%-J{L3x9qifsT?aG%ag$6yl&14_e#a|TXPlvw?^n%D=gns@vv;t
z?kVdxe9rmvHSv{B$N%R+D-Ut)DKL)z#~k3z&T%Pr)uFpg3=BN13=9F@j7%a7usl(_
zP|r5XQ(`{@1H)$^<_2O^kXTTl@2r=clUQ7gs&k<pvZ;J1x_$t8AdS9>nRzh1tZX19
NOh8x)qy<?(JOEyjiHraM

delta 854
zcmbQk`JIC|z?+#xgn<JHZDQw4W@S{U503R0b`-I_ELIjht%;RuQR^qgE#3>e6f{Id
z7j=40bm3|Hv1Q6qottH|H@V)g`RM-RmGJo=fjugJ82<OYe>L;2lc<&N^R#z&s?XVe
zKlks?-^V<TKFOgDrdm_q%u1Xp%F+0)_VI-ix7>Elh`oQ$oO@l<f`+mOQtLu*6s!*0
zsUc8*+I(@%{YecL3SsLKqEk=Dig7HvG@EH*X!>!HjN8V!w*xOOT*&)2k>!Hsg{j+5
zJ?oCjyuD_h(YD;+M^>zd@0qNcW@A2Qp-{GP$MSnIsZ&Khp1wEr*1L6)p%*^Sm-_GL
zIKQDN<A!N*ZFqvx)ctG9HEXB3Ioq=-bv)kXP`yrZgMR(hRdT%M1;$NrDkmn_ybgIg
zS5WlundI4LKlM2*3%w^gUBBs!vc%Ma<eYV{=kPBuzq;vE^o$7`CvWN~Xo>aXX6fo{
z(~JyekSx2rLd<f-Jh8J+mS#`WVw(8p=i~{=TYuEcIi6tFo~iZBRO6q3c*?1Hu6rER
zRz70vXI~e5al+@9^7ULiW|?u<POS?yn!itbhUoR8ANS-YW*=S|%KgmPyU$9;GChSY
zmED8$-KrX+3Em%bq;0hhCFuEEt&MqW_?COo@i;f}a!-H##m+Cj?MXOidPJ&H{^uXn
ze~;2#J}-Z9ch;}IgTg#VCzbYGpQv<0lPOyL!u6)p?k~=~=)7sQ%$~)y-pT&=m*?S=
zGdoHdr7kX#P`R#Qsdlkh@)qlt$~U{tyT(s5Yq7kOmfN(k@LEZ`$Kx|Ij>d+uTJCY1
z%3rDcwe*GhjLXU2_a$!hl=<59n{&BQ#R26@e+urXuZWSUVSZ)%IHe})f7emdSg&&?
zD*Az+rs&URaSw=pU8*Br9gzITHZM}(*iB!BgS9j630|{l6H&8yw1mITan848NA>6b
zofwt+zgT?NvrN@phvYUNoql|ovEt``xuuNSAC7d#{NxVsX6Nu<Wuv--iGkq&3j+g6
z>Ym8^){~J*gaMx1^^leFF`$FQf&zWt#LPUs<ebFf;s9?Hy^|GKq&dF;tpTZWp4`A9
K#`cC8WC8%y+jW=#

diff --git a/tests/new/binaryWarnings/injars/app-javac-1.4.jar b/tests/new/binaryWarnings/injars/app-javac-1.4.jar
index c163258972380a3cd1ac74aa04c6a9dbae8cfea0..fd98323505386cdf301df39aa04eeabae1c50957 100644
GIT binary patch
delta 846
zcmV-U1F`(L3Hu2RP)h>@3IG5A007+_p^*(E1Kk{<ku&xK-5jBlECC>YRNGDyQ50RL
zQ##W!Tr3n6sN4k0P+FlXNC6cDB>_ytV2n>g8Oo5}(oWS6@FRTniD$f&L=ry0-|<~t
zXF3Ix+NAr;*?Z5r>~k_detka!kifGbR3ug03BiYH8D=!3<a$@dy%3AjGTaZL3)32A
zW&50l2O-QOtzkjMqO31}X?UpOk$_%tOvlb_J7v3&6$oz}ns3cy&Mah;^;}v&R0RBa
z(=G_~#NJ%(nAl-`rMPDabZpoKYpa^ywaPEe-JB&6iy1SwW0q~X_mY0IoF!;i6EGGX
zD_;@_ZJ4D}a+9=Dg3bTBKw!Zx*v^uG5_4Id1DiO$Y*8Q*YpzUxIQ)}y;8OWTwcyx!
zYxRA`Dmix1WvCLa;uOiOEo5>YO=!DVEoZDXTdEF9F$syHqZ<)U<6pw%>i)h})-i%n
z9gndrpbot&mUDZ<I#%$6&<#&I#xPFhc}qu+#PTH)Dpqx@;VC!qA%VXC>(w!dQGu2N
zE0?47&Wq0HyN6bPhK>UyvI=_w@n&PWlBx^m7&NEYxC`B}t9|Le$Qqr&N_Ds5Jx5~e
zO<uz=FI^XJun(G?9ptaaU0V=DFRnx226rE!z|VE=GsMOze6LTSOxEBJw=mQY_yTbX
zm04|5Svo>n+=$N95d5HssB!k`_s?UOqmS_>83CPW?c8^N@=U_GO$`aIvt;gP)u?k}
z08y@fr1(~ZN=6uaF-W9ad}D~}71nvGp2|g51lLyM1R*2b`VIO8al6~xOE?W78tZpu
zxb1`+bglF7Jt+F)2!M3BO{t-M)A$N~%kZ2}N#`95lXdsxIYQS~y>;Gi)Nt(x$}yo-
zdNb(qviClJ#we)=SsSLeQTiU^cVOI=w1j}9J(rYr&qE@m*dHO1&OSL0g}1E(F--6&
zMOy}Qa&D97^O*JK5%kXH)x|XAr%4W4L;TVtf*!5RHb8E=6(A4}^OPlma1jD-UdAaG
zHSq^fO9u#5MdeoC0ssIF1pok0O9283015yA00003-5jBl1_Uz$-5jBlJOnll-5jAV
YRYm1i-vR&t4F!{c1TqFX1ONa40O_WIS^xk5

delta 778
zcmV+l1NHp-3AhOjP)h>@3IG5A002o{oRJM914&(+ku&xKNnM<iECC>YQrk`wQ50RL
zEuHBw+{#UmLJ@>A9a;qyl*<D~6O&dGF&N|1P=+$3?KEYoet;j~qpv>kjF*x~!Uy;}
zzN_n;4nhRmbnl+Mch+T}^W)d|Qvf-vC!is#!8Q=VybL)Vd6{o%xNWdGFT;X?KFsS_
zl;d}F+|_VT)|YfFYq&3eU>*cc;FUImhF2>KBn$h_8z*0JYUO;pwjv-71Y%Xks|gHc
zUSFP=+hYHrzvBw@6ug@Iv{~JD8!w#giYpQQl2h4o8lF6d#hBA56SV&dFg63XS{E=1
zPQ9Kll2%Ia_<JG{U-fEUur3hIDAr)lBTl633k+tiRwl?dcA@ouyjcsps{80&$*l*T
zFVSNMflo$#wNwe=jZMGVD7lY4sWu@+<RpTLB>K69e~C7lySr|~L>iMO9)OTq`mNun
z?C`jXHA0_xF)@W{Dz3UF1|(L*P793wU!I9sObT@Dxs?iC_MT5Z+unCe0e3=dx3(i-
zU$uctrM6Z|)C2#2?Aix1m*-Y6$%oR%*A{^;eM5c*RPI0mgBXIqFi#&5MT~j*GeqG8
zkypovW?P6QI~ZDse}OoG#;RV7t{<Yywo(f%B;H3w$~yh@`{$A3xW+h6M!+OmH%8Hm
z8|0lOV~%-=j3ew?Z7%k&Gsm!qF-{214)U8K(lpQGn4l_u$Qub&uCXJSJFR0FR<iRO
z%yZ&yH9Sl>9R@2SN`@LIa7tO{#f4BGI4$RG>nqHn6<W5X<t~P7+cpUf(OI-w=s866
zNTH>P(j9V+BF>oNGAESGDSk7!i7aL=7`6ZM+iLlI3N$V)OQRa+XZR2Dm4xb+LZgXr
z=`YW18fw%(qDlLL#Y9M<ll}~3Ty=nWvX|E<5rjgBtGbMH3f1}pP)i30B?U~SoB{v<
zk^}$%P)h*<3IGZK00000NnM<iNdz+kNnM<ie*`uTNnM;SB?U~SoB{v<k_3~(1TqHq
I0{{R30Cxpe5&!@I

diff --git a/tests/new/binaryWarnings/injars/appStartLines-ajc-1.1.jar b/tests/new/binaryWarnings/injars/appStartLines-ajc-1.1.jar
new file mode 100644
index 0000000000000000000000000000000000000000..a79518649240c69f7a4f87b21864f3c4b52d87fd
GIT binary patch
literal 554
zcmWIWW@Zs#-~d8Dg@t+yNI(Y2PAn+U_f5>qbFD~C4lYS7D)Gt8OD)z*&PgmT&Yf`D
z?~sE?+ka>6)~+Univ16`e79JeOPR9?3tw^R(Tm|NZE{|qnrpakVz&9L9UmBLG#<}f
zI8kEe(Vb^4@Bb;@x6j@#F;U*SWtIfrUhaiW&o+O#-Pti|8du7j29BlkDum+VSz_O>
zx;(k=(E+8D{?G-JgqyD3*sFSD`NL+N1hz<Vv!a$oY%zUovXXZ@{Nja9t-T=rH(F40
z?s8Y_$`HfEou;t|1j~7LoZ^!HzP58hnb67w)hTgy4<<Xm?7#4FZ?lo2e81I3PtL2y
ze!i>sV(ebAYsG?NCW57r{;8*uTYSu~^t`kRQ@{E;aKehl9J}8|GgcTBZ17tUu|9$8
zYHs`D6VubZ-Y38O&&T(L=hcZ1NnbZQRGrU}J!kXnNL|`{*`MKjMg=$1d@ml;xqWCy
z<6oKIHqQcm+WB`z-+y|F`<nE$cWR&Ys%>9>IMXumuu)h~N9dZRJ=O27?43I0W7Eyu
z@iLNAx_d>U&FVD@_Z+z4dM=wSURpV*)9TidX+Ljnn;7z+F~FOh<6ci}N&_PU!&)W=
nh5&CyCJ_ciTq4VX;u00$i`f8gRyL4oMj-S8(x-qnFfafB4A<bl

literal 0
HcmV?d00001

diff --git a/tests/new/binaryWarnings/injars/appStartLines-javac-1.4.jar b/tests/new/binaryWarnings/injars/appStartLines-javac-1.4.jar
new file mode 100644
index 0000000000000000000000000000000000000000..2824d4a0c335d7ff205f68d1981fc13f6d75a8cb
GIT binary patch
literal 692
zcmWIWW@h1H00C`<g?eBHlwe_CVMr_}(EoRefgu2>N`!#}2+>u^09Auj`6g!OxmKhm
z2bUxkmH1@lr55WY=Oh*vmj?R!-*ynF&7N&x_;B$u!zq{eZz;9PP4doH2wBO*d2(S;
zaN*0$$5AgA9qF6H`{+jf;hEmrUk~s<a1Y%RD}AwR!=&`I`+F*lH}CuT`?-_@yES80
zMcnbQ2JwoQkEixux7)^=^;;|Wm&1YF_w%?a=6`y>@_^TxO<z*X<dz%_x0Dd%d~7pu
zad4zY@p=dU{{g{`y%BzDcjtxNeCRss%T}E&E9bwPXsD(ouyy~@^iMHm?ncsOzjp=P
zEI9vd^3e%g*~OQboM!JU7CL7jp0V}0H`gmpzU^QAf1TF3oHa)-PUWS`YMaGw7tW`<
zPLk8yeB#&Pht|t>amtta-F*1*<Fd}}73v#)?l1_S`(KP{_4m;E?CF_{{x_duWs$mk
zGa>5e+HW7<9hTkL%lgl!IEKSmA-8$E-rfcA75}9lbu~6OY)f<G@7{8DlEZ$N`v;7|
zRz2!ZvHtS)LSg;E-uJJWyJt_2*d!Hr^03yt3%~z3t%<z5JR>yA{^UoV?IEvYlXix;
zsZTFhuXB6(rtq&F7Q!oD1RF2#^H?etc=>(vS=Xy))Vgx^?>@&D$#`w!L5(#ApAF8x
zVVk`@z?+@ps7Y_tIz|QtW@b>lGcs{8;7%XN=>?JwAgP6sNrVBBUXV=$r56NH12XZY
Uo&axFHjrv2AZ!5Aa!eo|013ee#Q*>R

literal 0
HcmV?d00001

diff --git a/tests/new/binaryWarnings/readme.txt b/tests/new/binaryWarnings/readme.txt
index 6b6eb486e..a6f0a69a4 100644
--- a/tests/new/binaryWarnings/readme.txt
+++ b/tests/new/binaryWarnings/readme.txt
@@ -23,6 +23,10 @@ Bugs: 37020, 37021, 37023
 - all test specifications should have exactly the same warnings
   as each other as as specified in MainWarnings.java
 
+- the ExecStartLine variants show that for binary join points,
+  we detect the first line of code in the associated block,
+  not the first line of the block.  This is a known limitation.
+
 To build the injar sources from the src directory:
 
 Using javac:
diff --git a/tests/new/binaryWarnings/src/app/Main.java b/tests/new/binaryWarnings/src/app/Main.java
index a2daee1d9..a118555d4 100644
--- a/tests/new/binaryWarnings/src/app/Main.java
+++ b/tests/new/binaryWarnings/src/app/Main.java
@@ -23,14 +23,14 @@ public class Main {
     Main() {                // 23
     }
 
-    void go(String s) {     // 26
+    void go(String s) {  String t = "..".substring(0);   // 26
         try {
 
             String temp = this.s;  // 29
 
             this.s = temp + ", " + s;  // 31
 
-        } catch (RuntimeException e) {   // 33
+        } catch (RuntimeException e) {   String u = "..".substring(0);  // 33
             
             stop();                      // 35 
 
diff --git a/tests/new/binaryWarnings/src/app/MainExecStartLines.java b/tests/new/binaryWarnings/src/app/MainExecStartLines.java
new file mode 100644
index 000000000..826fd29b2
--- /dev/null
+++ b/tests/new/binaryWarnings/src/app/MainExecStartLines.java
@@ -0,0 +1,28 @@
+
+package app;
+
+public class MainExecStartLines {
+
+    public static void main(String[] args) // 6
+    { // 7
+
+        
+        
+        
+        String t = "....".substring(0);        // 12
+    }
+    void go(String s) {
+        try {
+            String t = "....".substring(0);
+        } catch (RuntimeException e) {   // 17
+
+
+            String t = "....".substring(0);       // 20
+        }
+    }
+}
+/*
+ * known limitation: 
+ * For static shadow of [method|handler] execution join points 
+ * in binary form, only can detect first line of code.
+ */
diff --git a/tests/new/binaryWarnings/src/aspects/MainExecStartLinesErrors.java b/tests/new/binaryWarnings/src/aspects/MainExecStartLinesErrors.java
new file mode 100644
index 000000000..704afa98d
--- /dev/null
+++ b/tests/new/binaryWarnings/src/aspects/MainExecStartLinesErrors.java
@@ -0,0 +1,16 @@
+
+package aspects;
+
+import app.MainExecStartLines;
+
+// WARNING: do not change message text without changing test specification
+public privileged aspect MainExecStartLinesErrors {
+
+    declare error : execution(void MainExecStartLines.main(String[]))
+        : "execution(void MainExecStartLines.main(String[]))";
+
+    declare error : handler(RuntimeException)
+        && within(MainExecStartLines)
+        : "handler(RuntimeException) && within(MainExecStartLines)";
+
+}
\ No newline at end of file
-- 
2.39.5