Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 209
    • Issues 209
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #939

Closed
Open
Created Dec 11, 2014 by Jochen Burghardt@burghardt

use of later-defined nested class type in method signature causes error

ID0002027: This issue was created automatically from Mantis Issue 2027. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0002027 Frama-Clang Plug-in > clang public 2014-12-11 2014-12-12
Reporter Jochen Assigned To fvedrine Resolution fixed
Priority normal Severity minor Reproducibility always
Platform frama-c-Neon-20140301+dev-stance OS - OS Version xubuntu-cfe13.10
Product Version - Target Version - Fixed in Version Frama-C GIT, precise the release id

Description :

output:

Now output intermediate result 403.cpp:8:[kernel] user error: redefinition of '_ZN6StringE4Srep' in the same scope. Previous declaration was at 403.cpp:4 [kernel] user error: skipping file "403.cpp" that has errors.

The error remains if the definition of "Srep" is moved into "String". The error disappears if the declarations of "foo" is deleted in line 4.

Attachments

  • 403.cpp
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking