DCL41-C. switch 文のなかでは最初の case 句より前で変数宣言しない
DCL41-C. switch 文のなかでは最初の case 句より前で変数宣言しない C 標準、6.8.4.2節、第4パラグラフには次のような規定がある[ISO/IEC 9899:2011]。 switch 文は、制御式の値、スイッチ本体(switch body)と呼ばれる文の中の default ラベルの有無及び case ラベルの値に依存して、スイッチ本体、スイッチ本体の中の文又はスイッチ本体の次の文に制御を移す。 最初の case 文より前に変数の宣言と初期化を行い、case 文の内側でそれを使おうとした場合、変数の有効範囲は switch ブロックの内側になるが初期化が行われず、結果として変数の値は不定なままとなる。 違反コード 次の違反コード例では、switch 文の内側の最初の case ラベルより前に変数を宣言し実行文を記述している。 #include <stdio.h>
Rustの（FFIまわりの安全性を考慮した）プラグインシステム - Qiita
let plugin: Box<dyn Plugin> = unsafe { let load_plugin: Symbol<unsafe extern "C" fn() -> Box<dyn Plugin>> = lib.get(b"load_plugin")?; load_plugin() }; let name: String = plugin.name(); println!("1 {} 2 = {}", plugin.operator(), plugin.calc(1, 2)); // drop(plugin); // (2) 上の方法でトレイトオブジェクトを扱うことは（コンパイルエラーを生じないため）一見問題ないように見えます。しかし、load_plugin の戻り値型を Box にしてしまっているせいで所有権がプラグインとローダ間で移動し、(1) においてプラグイン側のアロケ
アライメントとか、ワード境界とか
これだけは覚えよう 変数はその長さで割り切れる番地に置くべし 原因と原理 アライメントとかワード境界とか言う話の原点は、プロセッサとメモリをどうつないでいるかという点からスタートしています。ですからまず、ソフトウェアの話ではなくハードウェアの話から入ります。 プロセッサの話をするとよく出るのが「ビット幅」の話です。あれは32ビットプロセッサだとか、これは128ビットプロセッサだとかいう表現をされ、性能指標のひとつとしてよく登場します。大体ビット幅は「レジスタ長」か「データバス幅」かのどっちかです。こっから先では「レジスタ長 = データバス幅」で話をします。 同じクロックの8ビットプロセッサと32ビットプロセッサを比較すると、大体32ビットプロセッサのほうが高速に動作します。これは、32ビットプロセッサのほうが一度に読めるデータの量が多いことに起因します。8ビットプロセッサ用の8ビットRAM
alloca関数 - Qiita
C言語で動的なサイズのメモリ確保が必要となれば、典型的にはmallocとfreeの出番ですが、allocaというものもあります。 C言語での変数の寿命 オブジェクト指向な言語の多くでは、ガベージコレクタが入っているので、「オブジェクトの寿命」≒「オブジェクトへの参照が存在する間」ということになります。これに対して、C言語（やC++）では、ガベージコレクタのような高度な仕組みはないので、変数の寿命は次の2つのどちらかになります。そして、C11で加わった可変長配列を別として、配列を確保するときもサイズは固定のしか取れません。 自動変数…スコープに入ったところで変数が用意され、スコープを抜けたところで解放される 静的変数・外部変数…プログラムの開始から終了まで存在し続ける これらに当てはまらない操作をしようと思えば、ライブラリ関数を使ってポインタ経由で使うほかありません。 allocaとは ふつ
C言語(C11)で可変長の配列を使う方法 - Qiita
【注意】下記はC言語での話であって、C++言語の話ではありません。混同しないように！ 配列の長さを実行時に指定したい！ 配列はプログラミングにおいて、重要な要素の一つである。しかし、C言語の配列は、コンパイル時に長さを固定化する必要があるため、実行時に長さを指定することができない。実行時に長さを指定して配列を作成するには、malloc等でメモリを動的に確保する必要がある。 と、思っていた時期が私にもありました。最新のC言語ではなんとかallocなんてよくわからないものを使う必要はありません。 可変長配列 (variable length array, VLA) 下のは、入力した値までの素数を数え上げるプログラムです。 #include <stdio.h> int main(void) { int n; printf(u8"自然数をいれてね: "); fflush(stdout); if (
Wasienv: WASI Development Toolchain for C/C++
At Wasmer we have been porting a lot of C and C++ projects to WebAssembly and WASI, as we believe WebAssembly will emerge as the standard way to use third-party code from any programming language securely and easily. WebAssembly System Interfaces (WASI) is an exciting new specification that allows running POSIX-like applications anywhere, safely and securely with WebAssembly. We realized that comp
Big Sky :: sudo の特権昇格バグはなぜ起こったのか
« Microsoft Word を Markdown に変換するコマンド「docx2md」を作った。 | Main | VimConf 2019 を終えて » Linux の sudo に root 権限を奪取できるバグが見つかった。 Linuxの「sudo」コマンドにroot権限奪取の脆弱性。ユーザーID処理のバグで制限無効化 - Engadget 日本版 この脆弱性は、sudoコマンドのユーザーIDに-1もしくは4294967295を指定すると、誤って0(ゼロ)と認識して処理してしまうというもの。0(ゼロ)はrootのユーザーIDであるため、攻撃者は完全なrootとしてコマンドを実行できることになります。 https://japanese.engadget.com/2019/10/14/linux-sudo-root-id/ 既に Ubuntu 等にはパッチが配布され始めているらしい
HIW 2019で発表された、Copilotという内部DSLについて - Haskell-jp
前回から引き続き、Haskell Implementors’ Workshop 2019への参加レポートとして、私の印象に残った発表を紹介します。 今回は、Copilotという、C言語のコードを生成するHaskell製内部DSLについての発表です。 Link to hereCopilot 3.0: a Haskell runtime verification framework for UAVs 発表者: Frank Dedden Royal Netherlands Aerospace Center, Alwyn Goodloe NASA Langley Research Center, Ivan Perez NIA / NASA Formal Methods Haskell製の内部DSLからC言語のソースコードを生成する、Copilotの紹介です。 似た謳い文句の内部DSLとしてivor
MieruCompiler homepage
The MieruCompiler project Overview 'XCC' is an experimental educational compiler, and MieruCompiler is a visualizer for XCC. Screen Snapshot (click for full screen snapshot) Download xcc-0.3.2.tgz (2.3MB) xcc-vis-0.1.3.tgz (330KB) Sample Visualization (View this on Firefox or Google Chrome. This doesn't work on IE. Some messages are displayed in Japanese.) License To be described. Disclaimer WARNI
Cの可変長引数とABIの奇妙な関係 - Qiita
printf に関する以下のツイートが流行っていました。 上のツイートでは割とあっさり説明されていますが、amd64 SysV ABIでこの現象が起こる理由にはもっと深遠なものがあると思うので、可変長引数とからめて説明してみたいと思います。 前提条件として「ABI」「可変長引数」「non-prototyped関数」の知識が必要なのでそこから説明します ABIとは ABI (Application Binary Interface) とは、機械語レベルでのインターフェースのことです。 機械語そのもののルールはISA (Instruction Set Architecture) によって規定されていますが、たとえばC言語の「関数呼び出し」などの概念を機械語でどのように表現するかについては規定していません。そのルールを定めたのがABIです。したがって、ISAとABIはおよそ1対多の関係にあります
addr2lineを使ってスタックトレースから取得したアドレスをソースファイル名と行番号に変換する - Qiita
前書いた記事 ではアドレスからソースコードを割り出すためにobjdumpを使っていましたが、 それではプログラムが大きいほど遅くなります。 今日はaddr2lineコマンドを紹介します。 ソースサンプルは前書いた記事にあるます。 実行結果 ./a.out() [0x401768] ./a.out() [0x4017e9] ./a.out() [0x401804] /lib64/libc.so.6(__libc_start_main+0xfd) [0x318441ed5d] ./a.out() [0x4012a9] この実行結果からコースコードを割り出すには以下のコマンドを使います addr2line -e a.out -f -C -s 0x401768 0x4017e9 0x401804 パラメータの意味 -e 実行ファイルの位置を指定、デフォルトはa.out -f 関数の名前を表示する
バカにC言語は難しい~プログラミングの機会損失~
プログラミングは難しい 注意： この記事は「プログラミング学習とはかくあるべき」、「こうやって学習するのが一番」ということを言いたいのではなく、プログラムを勉強したいが右も左もわからない人に少しでも勇気と情報を与えることを目的としています。過去の挫折経験からか、なかば愚痴っぽくなっていますがご勘弁を はじめに自分のプログラミング歴を軽く紹介して起きます。 年 言語 学習目的 2010 C言語 学校の実習 2011 C++ 組み込み系 2012~2017 None None 2018 Go,Js,Scala,Python 研究、Web開発 といった感じです。2012~2017年がNoneになっているのには原因が「C言語に挫折し、とにかくプログラミングがしたくなかった」からです。そう思ってしまった原因と、そこから立ち直ったことがこの記事を書いた理由です。 「おいおい、C言語ごときで挫折とは情け
「試して理解 Linuxのしくみ」のコードをRustに移植してみた話 - Qiita
「試して理解 Linuxのしくみ」 Amazonでは "[試して理解]Linuxのしくみ ~実験と図解で学ぶOSとハードウェアの基礎知識" という名前になっています。 著者の武内さんのハンドルネームから、sat本と呼ばれることも多い書籍です。 武内さんが配布されているCのコードはこちら、私がRustで書き直したコードはこちらにあります。 以下は、ポエムです。 本の感想 私自身は、Linuxやメモリにそれなりには興味を持っていたので、すごく目新しい内容は、それほど多くはありませんでした。けれども、読んで非常によかったと感じています。 「試して理解」と銘打っているとおり、書かれていることを実際に試して、理解を深められるようになっています。なんとなく聞いたことはあったけれど、実際試したことはなかったものを、実際に試すことができたのは本当によかったです。 なぜRustに移植したのか 持論として、「
いやなブログ: Linux の共有ライブラリを作るとき PIC でコンパイルするのはなぜか
Linux の共有ライブラリを作るとき PIC でコンパイルするのはなぜか 通常、Linux の共有ライブラリを作るときは各 .c ファイルを PIC (Position Independent Code) となるようコンパイルします。しかし、実は PIC でコンパイルしなくても共有ライブラリは作れます。それでは PIC にする意味はあるのでしょうか。 さっそく実験してみます。 int func () { printf(""); printf(""); printf(""); } PIC でコンパイルするには gcc に -fpic または -fPIC を渡します。-fpic の方が小さく高速なコードを生成する可能性がありますが、プロセッサによっては -fpic で生成できる GOT (Global Offset Table) のサイズに制限があります。一方、-fPIC はどのプロセッサで
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ごきげんよう、Zenへようこそ | Reduce your stress with the C language
GitHub - Copilot-Language/copilot: A stream-based runtime-verification framework for generating hard real-time C code.
GitHub - verifast/verifast: Research prototype tool for modular formal verification of C and Java programs
GitHub - leaningtech/cheerp-meta: Cheerp - a C/C++ compiler for Web applications - compiles to WebAssembly and JavaScript
GitHub - as-capabl/clay-dhall: C Layer for Dhall Language
GitHub - haskell-hvr/lzma-clib