Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Stefan Gränitz
Frama Clang
Commits
f9a75d22
Commit
f9a75d22
authored
May 28, 2021
by
Virgile Prevosto
Browse files
[clang] add support for builtin __underlying_type
parent
777cb9fc
Changes
1
Hide whitespace changes
Inline
Side-by-side
Clang_utils.cpp
View file @
f9a75d22
...
...
@@ -24,6 +24,8 @@
#include "Clang_utils.h"
#include "ClangVisitor.h"
#include <clang/AST/Type.h>
#include <llvm/Support/Casting.h>
extern
"C"
{
...
...
@@ -1857,7 +1859,12 @@ Clang_utils::makePlainType(
exp_node_Constant
(
compilation_constant_IntCst
(
IINT
,
ICLITERAL
,
arrayType
->
getNumElements
())))));
return
typ_Array
(
arrayKind
);
}
}
case
clang
::
Type
::
UnaryTransform
:
{
auto
utt
=
llvm
::
dyn_cast
<
const
clang
::
UnaryTransformType
>
(
type
);
auto
integer_type
=
utt
->
getUnderlyingType
();
return
makePlainType
(
loc
,
integer_type
,
declRegistration
,
isPOD
);
}
case
clang
::
Type
::
BlockPointer
:
unsupported_kind
=
"block pointer"
;
break
;
case
clang
::
Type
::
Complex
:
...
...
@@ -2877,7 +2884,7 @@ Clang_utils::logicArithmeticPromotion(
return
elaborated
->
isSugared
()
?
logicArithmeticPromotion
(
loc
,
elaborated
->
desugar
().
getTypePtr
())
:
NULL
;
}
}
default:
break
;
}
return
NULL
;
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment