Skip to content

Conversation

asavonic
Copy link
Contributor

@asavonic asavonic commented Apr 4, 2019

Signed-off-by: Andrew Savonichev [email protected]

@vladimirlaz
Copy link
Contributor

Please sign-off the commit.

@asavonic
Copy link
Contributor Author

asavonic commented Apr 4, 2019

Please sign-off the commit.

It is signed off already (or I am not aware of something).

@bader
Copy link
Contributor

bader commented Apr 4, 2019

Please sign-off the commit.

It is signed off already (or I am not aware of something).

From the logs:
FileNotFoundError: [Errno 2] No such file or directory: b'../../tools/wait_pr_branch.sh

Looks like env. issue.

@vladimirlaz
Copy link
Contributor

Please sign-off the commit.

It is signed off already (or I am not aware of something).

From the logs:
FileNotFoundError: [Errno 2] No such file or directory: b'../../tools/wait_pr_branch.sh

Looks like env. issue.

Agree. The problem has been fixed

@vladimirlaz vladimirlaz merged commit ced972a into intel:sycl Apr 5, 2019
vladimirlaz pushed a commit to vladimirlaz/llvm that referenced this pull request Apr 28, 2020
  CONFLICT (content): Merge conflict in clang/include/clang/AST/PrettyPrinter.h
vladimirlaz pushed a commit to vladimirlaz/llvm that referenced this pull request Jul 20, 2020
  CONFLICT (content): Merge conflict in clang/lib/Sema/SemaStmtAttr.cpp
iclsrc pushed a commit that referenced this pull request Aug 25, 2025
…s (#137975)

An authenticated pointer can be explicitly checked by the compiler via a
sequence of instructions that executes BRK on failure. It is important
to recognize such BRK instruction as checking every register (as it is
expected to immediately trigger an abnormal program termination) to
prevent false positive reports about authentication oracles:

      autia   x2, x3
      autia   x0, x1
      ; neither x0 nor x2 are checked at this point
      eor     x16, x0, x0, lsl #1
      tbz     x16, #62, on_success ; marks x0 as checked
      ; end of BB: for x2 to be checked here, it must be checked in both
      ; successor basic blocks
    on_failure:
      brk     0xc470
    on_success:
      ; x2 is checked
      ldr     x1, [x2] ; marks x2 as checked
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants