projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 338b40f) | patch
fixed another problem of the flow-down check. If an assignment statement has OP+EQ...
authoryeom <yeom>
Thu, 2 Aug 2012 21:06:46 +0000 (21:06 +0000)
committeryeom <yeom>
Thu, 2 Aug 2012 21:06:46 +0000 (21:06 +0000)
commitff3ceae6b47a1a01bc56fa55fa5770cba0bf252f
tree1785a621df0eecb7b22d39745bd17bc1dfcfe063tree | snapshot
parent338b40f8f52cf09dc5fcef67796acc65a69758b9commit | diff
fixed another problem of the flow-down check. If an assignment statement has OP+EQ operator(eg,+=,*=), calculate GLB of LHS & RHS and then assign it as the location type of RHS. + annotation fixes according to fix.
Robust/src/Analysis/SSJava/FlowDownCheck.java diff | blob | history
Robust/src/Benchmarks/SSJava/EyeTracking/Classifier.java diff | blob | history
Robust/src/Benchmarks/SSJava/MP3Decoder/BitReserve.java diff | blob | history
Robust/src/Benchmarks/SSJava/MP3Decoder/LayerIIIDecoder.java diff | blob | history
Irvine Research Compiler