Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found

Target

Select target project
  • pub/frama-clang
  • weliveindetail/frama-clang
  • ankit247/frama-clang
  • T-Gruber/frama-clang
4 results
Show changes
Commits on Source (67)
Hide whitespace changes
Inline Side-by-side
Showing
with 58 additions and 42 deletions
.LICENSE
View file @ c4664fdd
This file is part of Frama-Clang
Copyright (C) 2012-2020
Copyright (C) 2012-2022
CEA (Commissariat à l'énergie atomique et aux énergies
alternatives)
......
.gitlab-ci.yml
View file @ c4664fdd
......@@ -4,7 +4,7 @@ stages:
variables:
CURRENT: $CI_COMMIT_REF_NAME
DEFAULT: "master"
DEFAULT: "stable/chromium"
OCAML: "4_08"
FRAMA_CI_OPT: "--override frama-clang:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
......@@ -27,6 +27,8 @@ tests-on-llvm-10:
stage: tests
script:
- nix/frama-ci.sh build -A frama-clang.on-llvm10.tests
tags:
- nix
when: manual
tests-on-llvm-11:
......@@ -35,3 +37,11 @@ tests-on-llvm-11:
- nix/frama-ci.sh build -A frama-clang.on-llvm11.tests
tags:
- nix
when: manual
tests-on-llvm-13:
stage: tests
script:
- nix/frama-ci.sh build -A frama-clang.on-llvm13.tests
tags:
- nix
.headache_config.txt
View file @ c4664fdd
......@@ -35,3 +35,9 @@
#######
| "[^.]*" -> frame open: "/*" line:"*" close: "*/"
########
# Misc #
########
| ".*\.dox" -> frame open: "/*" line: "*" close: "*/"
ACSLCodeAnnotation.cpp
View file @ c4664fdd
......@@ -2,7 +2,7 @@
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2020 */
/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......
ACSLCodeAnnotation.h
View file @ c4664fdd
......@@ -2,7 +2,7 @@
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2020 */
/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......
ACSLComment.cpp
View file @ c4664fdd
......@@ -2,7 +2,7 @@
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2020 */
/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......
ACSLComment.h
View file @ c4664fdd
......@@ -2,7 +2,7 @@
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2020 */
/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......@@ -58,17 +58,17 @@ public:
: AnnotationComment(source), _startOfGhost(source._startOfGhost) {}
/*! checks annotation for improper use of preprocessor directives, returns true if errors found */
virtual bool checkAnnotation(const std::string& text, clang::SourceLocation clangLocation, const clang::Sema* sema, std::string& revised) const;
bool checkAnnotation(const std::string& text, clang::SourceLocation clangLocation, const clang::Sema* sema, std::string& revised) const override;
virtual Kind getAnnotationKind(const std::string& text, clang::SourceLocation clangLocation, const clang::Sema* sema) const;
Kind getAnnotationKind(const std::string& text, clang::SourceLocation clangLocation, const clang::Sema* sema) const override;
virtual void parseGlobal(ForwardReferenceList& globals,
void parseGlobal(ForwardReferenceList& globals,
ForwardReferenceList* classContent, const clang::DeclContext* clangContext,
clang::ASTContext* astContext, clang::Sema* sema,
clang::Scope* scope, Clang_utils* clangUtils,
const RTTITable& rttiTable, location loc);
const RTTITable& rttiTable, location loc) override;
virtual void parseGhostGlobal(
void parseGhostGlobal(
// ForwardReferenceList& globals,
//ForwardReferenceList* classContent,
clang::DeclContext* clangContext,
......@@ -76,34 +76,34 @@ public:
clang::Sema* sema,
clang::Scope* scope,
clang::CompilerInstance& compilerInstance,
clang::ASTConsumer* consumer);
clang::ASTConsumer* consumer) override;
virtual void parseGhostStatement(
void parseGhostStatement(
clang::DeclContext* clangContext,
clang::Sema* sema,
clang::Scope* scope,
clang::CompilerInstance& compilerInstance,
clang::ASTConsumer* consumer);
clang::ASTConsumer* consumer) override;
virtual void parseCodeAnnotation(ForwardReferenceList& codeContainer,
void parseCodeAnnotation(ForwardReferenceList& codeContainer,
const clang::DeclContext* clangContext, clang::ASTContext* astContext,
clang::Sema* sema, clang::Scope* scope, Clang_utils* clangUtils,
const RTTITable& rttiTable, location loc);
const RTTITable& rttiTable, location loc) override;
virtual /* code_annotation */ list parseLoopAnnotation(
/* code_annotation */ list parseLoopAnnotation(
const clang::DeclContext* clangContext, clang::ASTContext* astContext,
clang::Sema* sema, clang::Scope* scope, Clang_utils* clangUtils,
const RTTITable& rttiTable, location loc);
const RTTITable& rttiTable, location loc) override;
virtual void parseStatementAnnotation(ForwardReferenceList& codeContainer,
void parseStatementAnnotation(ForwardReferenceList& codeContainer,
const clang::DeclContext* clangContext, clang::ASTContext* astContext,
clang::Sema* sema, clang::Scope* scope, Clang_utils* clangUtils,
const RTTITable& rttiTable);
const RTTITable& rttiTable) override;
virtual void parseFunctionContract(option& /* function_contract */ contract,
void parseFunctionContract(option& /* function_contract */ contract,
const clang::DeclContext* clangContext, clang::ASTContext* astContext,
clang::Sema* sema, clang::Scope* scope, Clang_utils* clangUtils,
const RTTITable& rttiTable);
const RTTITable& rttiTable) override;
private:
void initFrom(const clang::Sema* sema);
......
ACSLComponent.cpp
View file @ c4664fdd
......@@ -2,7 +2,7 @@
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2020 */
/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......
ACSLComponent.h
View file @ c4664fdd
......@@ -2,7 +2,7 @@
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2020 */
/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......@@ -57,7 +57,7 @@ class Locations:
public:
ForwardList getResult() { return _locations; }
Locations(location loc): _locations(), _loc(loc) { }
~Locations() { if(_loc) { free(_loc); _loc=NULL; } }
~Locations() override { if(_loc) { free(_loc); _loc=NULL; } }
ReadResult readToken(Parser::State& state, Parser::Arguments& arguments);
};
......@@ -79,7 +79,7 @@ public:
AssignsClause(location loc)
: _clause(), _loc(loc), _modified(), _dependencies(),
_isNothingDependency(false) {}
~AssignsClause() { if (_loc) { free(_loc); _loc=NULL;} }
~AssignsClause() override { if (_loc) { free(_loc); _loc=NULL;} }
ReadResult readToken(Parser::State& state, Parser::Arguments& arguments);
};
......@@ -100,7 +100,7 @@ public:
public:
ForwardList getResult() { return _clause; }
AllocFreeClause(location loc): _clause(), _loc(loc) { }
~AllocFreeClause() { if(_loc) { free(_loc); _loc=NULL; } }
~AllocFreeClause() override { if(_loc) { free(_loc); _loc=NULL; } }
ReadResult readToken(Parser::State& state, Parser::Arguments& arguments);
};
......
ACSLFunctionContract.cpp
View file @ c4664fdd
......@@ -2,7 +2,7 @@
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2020 */
/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......
ACSLFunctionContract.h
View file @ c4664fdd
......@@ -2,7 +2,7 @@
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2020 */
/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......
ACSLGlobalAnnotation.cpp
View file @ c4664fdd
......@@ -2,7 +2,7 @@
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2020 */
/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......
ACSLGlobalAnnotation.h
View file @ c4664fdd
......@@ -2,7 +2,7 @@
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2020 */
/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......@@ -83,7 +83,7 @@ private:
public:
LabelList():
_labels(NULL), _endLabels(NULL) { }
~LabelList() {
~LabelList() override {
while(_labels) {
free(_labels->element.container);
list temp = _labels->next;
......@@ -124,7 +124,7 @@ private:
public:
Parameters(location loc)
: _params(NULL), _endParams(NULL), _loc(copy_loc(loc)) { }
~Parameters()
~Parameters() override
{ if(_loc) { free(_loc); _loc = NULL; }
while (_params) {
free_logic_arg_decl((logic_arg_decl) _params->element.container);
......@@ -151,7 +151,7 @@ public:
_reads(), _params(NULL), _qualificationId(NULL), _polyIdLabels(NULL),
_codeOperator(DLexer::OperatorPunctuatorToken::TUndefined),
_typeName(NULL) {}
~GlobalAnnotation()
~GlobalAnnotation() override
{ if (_loc) { free(_loc); _loc = NULL; };
clear();
}
......
ACSLLexer.cpp
View file @ c4664fdd
......@@ -2,7 +2,7 @@
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2020 */
/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......
ACSLLexer.h
View file @ c4664fdd
......@@ -2,7 +2,7 @@
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2020 */
/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......
ACSLLogicType.cpp
View file @ c4664fdd
......@@ -2,7 +2,7 @@
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2020 */
/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......
ACSLLogicType.h
View file @ c4664fdd
......@@ -2,7 +2,7 @@
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2020 */
/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......@@ -120,7 +120,7 @@ public:
_qualification(NULL), _declContext(NULL), _seenInt(false),
_seenSigned(false), _doesStopSuffix(false),
_loc(NULL) {}
~LogicType()
~LogicType() override
{ if (_typeResult) free_logic_type(_typeResult);
if (_typedefResult) free_logic_type_def(_typedefResult);
if (_loc) free_location(_loc);
......
ACSLLoopAnnotation.cpp
View file @ c4664fdd
......@@ -2,7 +2,7 @@
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2020 */
/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......
ACSLLoopAnnotation.h
View file @ c4664fdd
......@@ -2,7 +2,7 @@
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2020 */
/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......
ACSLParser.cpp
View file @ c4664fdd
......@@ -2,7 +2,7 @@
/* */
/* This file is part of Frama-Clang */
/* */
/* Copyright (C) 2012-2020 */
/* Copyright (C) 2012-2022 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......