PR# 18643 New ECF format says complete void-safety but does not detect VEVI errors

Problem Report Summary
Submitter: manus_eiffel
Category: Compiler
Priority: High
Date: 2013/08/01
Class: Bug
Severity: Critical
Number: 18643
Release: 7.3
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Windows NT 6.2; WOW64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/28.0.1500.95 Safari/537.36
Synopsis: New ECF format says complete void-safety but does not detect VEVI errors

Description
The only difference between those 2 ECFs is the version of the ECFs. If one of the classes you compile has a VEVI error, using version 1.11 it will not report it at all. Using 1.10 no problem.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:alexk_es   
											Date:2013/08/01   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
Fixed in rev#92835 of EiffelStudio 7.4 intermediate release (review#11340012).

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:alexk_es   
											Date:2013/08/01   
											
											Download   
										

										

                                            
											
										 	
The bug also shows up in test#attach102.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:alexk_es   
											Date:2013/08/01   
																							Status: Analyzed   
											
											Download   
										

										

                                            
											
										 	
test#attach107

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:manus_eiffel   
											Date:2013/08/01   
											
											Download   
										

										

                                            
											
										 	
Attachments for problem report #18643

											
											
											

											
											

												

													

														

															Attachment:
															zmq-good.ecf    
															Size:1507
														

													

												

											

											
											

												

													

														

															Attachment:
															zmq-bad.ecf    
															Size:1507