Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools

PVS Bug 1008


Synopsis:        Cursor does not point to the error location (VII)
Severity:        serious
Priority:        medium
Responsible:     owre (Sam Owre)
State:           open
Class:           sw-bug
Arrival-Date:    Thu Nov  8 14:45:01 2007
Originator:      Hendrik Tews
Organization:    cs.ru.nl
Release:         PVS 4.0
Environment: 
 System:          
 Architecture: 

Description: 
  Hi,
  
  for 
  
      X : Datatype
      Begin
  
        Importing ZXCVB
  
        x : x?
      End X
  
  the pointer points at the Datatype keyword instead of the wrong
  importing. I see this in 3.2, 4.0 and 4.1.
  
  Bye,
  
  Hendrik

How-To-Repeat: 

Fix: 
Home Intro Announce FAQ Docs Download Mail Status Bugs Users Related FM Tools